Searched refs:tmrs (Results 1 – 1 of 1) sorted by relevance
3597 const uint32_t *tmrs; in vmx_apicv_sync_tmr() local3600 tmrs = &vlapic_vtx->tmr_active[0]; in vmx_apicv_sync_tmr()3606 vmcs_write(VMCS_EOI_EXIT0, ((uint64_t)tmrs[1] << 32) | tmrs[0]); in vmx_apicv_sync_tmr()3607 vmcs_write(VMCS_EOI_EXIT1, ((uint64_t)tmrs[3] << 32) | tmrs[2]); in vmx_apicv_sync_tmr()3608 vmcs_write(VMCS_EOI_EXIT2, ((uint64_t)tmrs[5] << 32) | tmrs[4]); in vmx_apicv_sync_tmr()3609 vmcs_write(VMCS_EOI_EXIT3, ((uint64_t)tmrs[7] << 32) | tmrs[6]); in vmx_apicv_sync_tmr()