Searched refs:Entry_UnknownSyscall (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dbenchmark_track_types.h21 Entry_UnknownSyscall, enumerator in enum:__anon26
/seL4-camkes-master/kernel/include/api/
H A Ddebug.h27 case Entry_UnknownSyscall:
/seL4-camkes-master/kernel/src/arch/x86/
H A Dc_traps.c94 ksKernelEntry.path = Entry_UnknownSyscall;
126 ksKernelEntry.path = Entry_UnknownSyscall;
/seL4-camkes-master/kernel/src/arch/arm/
H A Dc_traps.c111 ksKernelEntry.path = Entry_UnknownSyscall;

Completed in 31 milliseconds