Searched refs:kernel_logging_sync_log (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4bench/src/
H A Dkernel_logging.c17 kernel_logging_sync_log(kernel_log_entry_t log[], unsigned int n) function
/seL4-camkes-master/projects/seL4_libs/libsel4bench/include/sel4bench/
H A Dkernel_logging.h34 unsigned int kernel_logging_sync_log(kernel_log_entry_t log[], unsigned int n);
80 /* Calls to kernel_logging_sync_log will extract entries created before
82 * kernel_logging_sync_log. */

Completed in 37 milliseconds