Searched refs:seL4_BenchmarkResetLog (Results 1 - 12 of 12) sorted by relevance

/seL4-refos-master/kernel/libsel4/include/sel4/
H A Dsyscalls.h196 seL4_BenchmarkResetLog(void);
/seL4-refos-master/libs/libsel4/include/sel4/
H A Dsyscalls.h196 seL4_BenchmarkResetLog(void);
/seL4-refos-master/projects/seL4_libs/libsel4test/src/
H A Dtestutil.c109 seL4_BenchmarkResetLog();
/seL4-refos-master/projects/seL4_libs/libsel4bench/include/sel4bench/
H A Dkernel_logging.h76 seL4_BenchmarkResetLog();
/seL4-refos-master/kernel/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h665 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkResetLog(void) function
/seL4-refos-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h914 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkResetLog(void) function
/seL4-refos-master/libs/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h665 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkResetLog(void) function
/seL4-refos-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls.h687 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkResetLog(void) function
/seL4-refos-master/libs/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h914 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkResetLog(void) function
/seL4-refos-master/libs/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls.h687 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkResetLog(void) function
/seL4-refos-master/kernel/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h866 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkResetLog(void) function
/seL4-refos-master/libs/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h866 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkResetLog(void) function

Completed in 59 milliseconds