Searched refs:pending_level (Results 1 – 1 of 1) sorted by relevance
3491 uint32_t pending_level[8]; member3540 atomic_set_int(&vlapic_vtx->pending_level[idx], mask); in vmx_apicv_set_ready()3691 ASSERT0(vlapic_vtx->pending_level[0] & 0xffff); in vmx_apicv_sync()3699 const uint32_t pending_level = in vmx_apicv_sync() local3700 atomic_readandclear_int(&vlapic_vtx->pending_level[i]); in vmx_apicv_sync()3706 if (pending_level != 0) { in vmx_apicv_sync()3711 *tmrp |= pending_level; in vmx_apicv_sync()3712 *irrp |= pending_level; in vmx_apicv_sync()