Searched refs:errorcode (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c83 void mlbdd_errorhandler(int errorcode) argument
85 /* printf("mlbdd error: %d\n",errorcode); */
86 failwith((char *) bdd_errstring(errorcode));
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dtraps.S573 # handleKernelException(vector, errorcode, RIP, RSP, RFLAGS, CR0, CR2, CR3, CR4)

Completed in 36 milliseconds