Searched refs:EXT_IRQ_CP_SERVICE (Results 1 – 3 of 3) sorted by relevance
25 #define EXT_IRQ_CP_SERVICE 0x2603 macro
748 rc = register_external_irq(EXT_IRQ_CP_SERVICE, pfault_interrupt); in pfault_irq_init()760 unregister_external_irq(EXT_IRQ_CP_SERVICE, pfault_interrupt); in pfault_irq_init()
560 rc = put_guest_lc(vcpu, EXT_IRQ_CP_SERVICE, (u16 *) __LC_EXT_INT_CODE); in __deliver_pfault_init()1080 rc = put_guest_lc(vcpu, EXT_IRQ_CP_SERVICE, in __deliver_pfault_done()1124 rc = put_guest_lc(vcpu, EXT_IRQ_CP_SERVICE, in __deliver_virtio()