From 0613e52a49970ed26e444203f108f24992bf5642 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Fri, 28 Jun 2013 17:07:23 +0200 Subject: [PATCH] ahci & exynos5: adjust ouput format in ahci_bench --- os/src/drivers/ahci/exynos5/bench/main.cc | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/os/src/drivers/ahci/exynos5/bench/main.cc b/os/src/drivers/ahci/exynos5/bench/main.cc index 677198341..e1d5fedc3 100644 --- a/os/src/drivers/ahci/exynos5/bench/main.cc +++ b/os/src/drivers/ahci/exynos5/bench/main.cc @@ -31,6 +31,12 @@ struct Operation char *buffer_virt) = 0; }; +void print_bench_head() +{ + Genode::printf("\n"); + Genode::printf("bytes/block bytes sec MB/sec\n"); + Genode::printf("----------------------------------------------\n"); +} /* * \param total_size total number of bytes to read @@ -138,9 +144,7 @@ int main(int argc, char **argv) printf("read\n"); printf("~~~~\n"); - printf("\n"); - printf("bytes/block bytes MB sec MB/sec\n"); - printf("--------------------------------------------------------------\n"); + print_bench_head(); struct Read : Operation { @@ -167,9 +171,7 @@ int main(int argc, char **argv) printf("\n"); printf("write\n"); printf("~~~~~\n"); - printf("\n"); - printf("bytes/block bytes MB sec MB/sec\n"); - printf("--------------------------------------------------------------\n"); + print_bench_head(); struct Write : Operation {