hypervisor_ack_pirq_event
void hypervisor_ack_pirq_event(unsigned int);
hypervisor_ack_pirq_event(port);
hypervisor_ack_pirq_event(evtch);