Searched refs:user_event_pending (Results 1 – 2 of 2) sorted by relevance
244 uint32_t user_event_pending; member
512 vcpu->tunnel->user_event_pending = 1; in hax_raise_event()1118 cpu->hax_vcpu->tunnel->user_event_pending = 0; in hax_reset_vcpu_state()