Searched refs:deliver_guest_interrupt (Results 1 – 1 of 1) sorted by relevance
854 deliver_guest_interrupt: /* r4 = vcpu, r13 = paca */ label1597 blt deliver_guest_interrupt