Entry_VCPUFault (reference) in projects: seL4-master

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

/seL4-master/libsel4/include/sel4/
A D	benchmark_track_types.h	`25 Entry_VCPUFault, enumerator`
/seL4-master/include/api/
A D	debug.h	`52 case Entry_VCPUFault: in debug_printKernelEntryReason()`
/seL4-master/src/arch/arm/
A D	c_traps.c	`190 ksKernelEntry.path = Entry_VCPUFault; in c_handle_vcpu_fault()`

Completed in 4 milliseconds