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

/seL4-test-master/tools/riscv-pk/pk/
H A Dhandlers.c96 static void handle_interrupt(trapframe_t* tf) function
104 return handle_interrupt(tf);
/seL4-test-master/kernel/src/arch/x86/64/
H A Dtraps.S165 jmp handle_interrupt; \
448 BEGIN_FUNC(handle_interrupt)
461 END_FUNC(handle_interrupt)
/seL4-test-master/kernel/src/arch/x86/32/
H A Dtraps.S37 jmp handle_interrupt; \
356 handle_interrupt: label

Completed in 43 milliseconds