Searched defs:reason (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/kernel/src/api/
H A Dfaults.c235 word_t reason = seL4_Fault_DebugException_get_exceptionReason(sender->tcbFault); local
/seL4-refos-master/kernel/src/arch/x86/machine/
H A Dbreakpoint.c553 word_t vaddr, reason; member in struct:__anon111
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dpotion.c1983 char reason[BUFSZ]; local
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dpotion.c1983 char reason[BUFSZ]; local
/seL4-refos-master/kernel/src/arch/arm/machine/
H A Ddebug.c938 static int getAndResetActiveBreakpoint(word_t vaddr, word_t reason) argument
/seL4-refos-master/kernel/src/arch/x86/object/
H A Dvcpu.c1059 static void setMRs_vmexit(uint32_t reason, word_t qualification) argument
1070 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_REASON_MR, reason); local
1085 static void handleVmxFault(uint32_t reason, word_t qualification) argument
1130 uint32_t reason; local
[all...]

Completed in 57 milliseconds