Searched refs:pending_edge (Results 1 – 1 of 1) sorted by relevance
3492 uint32_t pending_edge[8]; member3533 atomic_set_int(&vlapic_vtx->pending_edge[idx], mask); in vmx_apicv_set_ready()3692 ASSERT0(vlapic_vtx->pending_edge[0] & 0xffff); in vmx_apicv_sync()3701 const uint32_t pending_edge = in vmx_apicv_sync() local3702 atomic_readandclear_int(&vlapic_vtx->pending_edge[i]); in vmx_apicv_sync()3714 if (pending_edge != 0) { in vmx_apicv_sync()3719 *tmrp &= ~pending_edge; in vmx_apicv_sync()3720 *irrp |= pending_edge; in vmx_apicv_sync()