Searched refs:evtchn_upcall_pending (Results 1 – 3 of 3) sorted by relevance
133 vcpu_info->evtchn_upcall_pending = 1; in evtchn_2l_unmask()285 pending, v->evtchn_upcall_pending, in xen_debug_interrupt()
136 u8 evtchn_upcall_pending; member 175 vcpu_arch_put_guest(vi->evtchn_upcall_pending, 0); in evtchn_handler() 388 printf("evtchn_upcall_pending 0x%x\n", vinfo->evtchn_upcall_pending); in handle_alrm() 609 vinfo->evtchn_upcall_pending = 0; in main() 640 vinfo->evtchn_upcall_pending = 1; in main()
531 uint8_t evtchn_upcall_pending; member