Searched refs:EXC_interrupt (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dsys.h26 #define EXC_interrupt 1 /* SML90.Interrupt */ macro
H A Drun_time.cpp169 case EXC_interrupt: exName = "Interrupt"; break;
H A Dprocesses.cpp755 raise_exception0(taskData, EXC_interrupt);
1435 interrupt_exn = makeExceptionPacket(taskData, EXC_interrupt);

Completed in 39 milliseconds