Searched refs:Entry_VMFault (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dbenchmark_track_types.h24 Entry_VMFault, enumerator in enum:__anon26
/seL4-camkes-master/kernel/include/api/
H A Ddebug.h30 case Entry_VMFault:
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dbenchmark_track.h42 } else if (logBuffer[index].entry.path == Entry_VMFault) {
/seL4-camkes-master/kernel/src/arch/arm/
H A Dc_traps.c71 ksKernelEntry.path = Entry_VMFault;
/seL4-camkes-master/kernel/src/arch/x86/
H A Dc_traps.c55 ksKernelEntry.path = Entry_VMFault;

Completed in 53 milliseconds