From ff8c48d6513d91bcf70657e2d047008426a2cd40 Mon Sep 17 00:00:00 2001 From: Hesham Almatary Date: Wed, 11 Jan 2017 12:28:24 +1100 Subject: [PATCH] Benchmark: ARM - Fix typos in syscalls.h --- .../sel4_arch_include/aarch32/sel4/sel4_arch/syscalls.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/syscalls.h b/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/syscalls.h index 4c4629ce0..318772644 100644 --- a/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/syscalls.h +++ b/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/syscalls.h @@ -586,7 +586,7 @@ seL4_BenchmarkFlushCaches(void) #ifdef CONFIG_BENCHMARK_TRACK_UTILISATION LIBSEL4_INLINE_FUNC void -seL4_BenchmarkGetThreadUtilisation(seL4_Word tcp_cptr) +seL4_BenchmarkGetThreadUtilisation(seL4_Word tcb_cptr) { seL4_Word unused0 = 0; seL4_Word unused1 = 0; @@ -595,11 +595,11 @@ seL4_BenchmarkGetThreadUtilisation(seL4_Word tcp_cptr) seL4_Word unused4 = 0; seL4_Word unused5 = 0; - arm_sys_send_recv(seL4_BenchmarkGetThreadUtilization, tcb_cptr, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5); + arm_sys_send_recv(seL4_SysBenchmarkGetThreadUtilisation, tcb_cptr, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5); } LIBSEL4_INLINE_FUNC void -seL4_BenchmarkResetThreadUtilisation(seL4_Word tcp_cptr) +seL4_BenchmarkResetThreadUtilisation(seL4_Word tcb_cptr) { seL4_Word unused0 = 0; seL4_Word unused1 = 0; @@ -608,7 +608,7 @@ seL4_BenchmarkResetThreadUtilisation(seL4_Word tcp_cptr) seL4_Word unused4 = 0; seL4_Word unused5 = 0; - arm_sys_send_recv(seL4_BenchmarkResetThreadUtilization, tcb_cptr, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5); + arm_sys_send_recv(seL4_SysBenchmarkResetThreadUtilisation, tcb_cptr, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5); } #endif /* CONFIG_BENCHMARK_TRACK_UTILISATION */ #endif /* CONFIG_ENABLE_BENCHMARKS */