hypervisor_prime_pirq_event
void hypervisor_prime_pirq_event(int, unsigned int);
hypervisor_prime_pirq_event(pirq, evtch);