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

/seL4-camkes-master/projects/seL4_libs/libsel4bench/src/
H A Dlogging.c59 seL4_Word key = kernel_logging_entry_get_key(entry);
70 return kernel_logging_entry_get_key((kernel_log_entry_t*)a) -
71 kernel_logging_entry_get_key((kernel_log_entry_t*)b);
86 seL4_Word key = kernel_logging_entry_get_key(entry);
95 seL4_Word key = kernel_logging_entry_get_key(entry);
109 while (index < num_logs && kernel_logging_entry_get_key(&logs[index]) == i) {
/seL4-camkes-master/projects/seL4_libs/libsel4bench/include/sel4bench/
H A Dkernel_logging.h37 static inline seL4_Word kernel_logging_entry_get_key(kernel_log_entry_t *entry) function

Completed in 80 milliseconds