Searched refs:invocation_tag (Results 1 – 3 of 3) sorted by relevance

/seL4-master/libsel4/include/sel4/
A D	benchmark_track_types.h	49 seL4_Word invocation_tag: 19; member
/seL4-master/include/benchmark/
A D	benchmark_track.h	57 ksKernelEntry.invocation_tag = seL4_MessageInfo_get_label(info); in benchmark_debug_syscall_start()
/seL4-master/include/api/
A D	debug.h	48 (unsigned long) ksKernelEntry.invocation_tag); in debug_printKernelEntryReason()

Completed in 4 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023