int_remote_call_ipi (reference) in projects: seL4-master

Searched refs:int_remote_call_ipi (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/plat/pc99/plat/
A D	machine.h	`36 int_remote_call_ipi = 158, enumerator 58 irq_remote_call_ipi = int_remote_call_ipi - IRQ_INT_OFFSET,`
/seL4-master/src/arch/x86/
A D	c_traps.c	`40 NODE_LOCK_IF(irq != int_remote_call_ipi, in c_handle_interrupt()`
/seL4-master/src/arch/x86/object/
A D	vcpu.c	`1137 NODE_LOCK_IRQ_IF(interrupt != int_remote_call_ipi); in handleVmexit()`

Completed in 5 milliseconds