pi_wakeup_handler
void pi_wakeup_handler(void);
kvm_set_posted_intr_wakeup_handler(pi_wakeup_handler);