Searched refs:irrp (Results 1 – 1 of 1) sorted by relevance
3697 uint32_t *irrp = &lapic->irr0 + (i * 4); in vmx_apicv_sync() local3712 *irrp |= pending_level; in vmx_apicv_sync()3720 *irrp |= pending_edge; in vmx_apicv_sync()3728 *irrp |= pending_inject; in vmx_apicv_sync()