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