Entry_VMFault (reference) in projects: seL4-master

Searched refs:Entry_VMFault (Results 1 – 4 of 4) sorted by relevance

/seL4-master/libsel4/include/sel4/
A D	benchmark_track_types.h	`21 Entry_VMFault, enumerator`
/seL4-master/include/api/
A D	debug.h	`30 case Entry_VMFault: in debug_printKernelEntryReason()`
/seL4-master/src/arch/arm/
A D	c_traps.c	`71 ksKernelEntry.path = Entry_VMFault; in c_handle_vm_fault()`
/seL4-master/src/arch/x86/
A D	c_traps.c	`55 ksKernelEntry.path = Entry_VMFault; in c_handle_interrupt()`

Completed in 4 milliseconds