Searched refs:dispatch_interrupt (Results 1 – 4 of 4) sorted by relevance
124 void dispatch_interrupt(const struct intr_excp_ctx *ctx);
355 call dispatch_interrupt
184 void dispatch_interrupt(const struct intr_excp_ctx *ctx) in dispatch_interrupt() function
347 dispatch_interrupt(&ctx); in external_interrupt_vmexit_handler()
Completed in 5 milliseconds