Searched refs:tmrs (Results 1 – 1 of 1) sorted by relevance
3604 const uint32_t *tmrs; in vmx_apicv_sync_tmr() local3607 tmrs = &vlapic_vtx->tmr_active[0]; in vmx_apicv_sync_tmr()3613 vmcs_write(VMCS_EOI_EXIT0, ((uint64_t)tmrs[1] << 32) | tmrs[0]); in vmx_apicv_sync_tmr()3614 vmcs_write(VMCS_EOI_EXIT1, ((uint64_t)tmrs[3] << 32) | tmrs[2]); in vmx_apicv_sync_tmr()3615 vmcs_write(VMCS_EOI_EXIT2, ((uint64_t)tmrs[5] << 32) | tmrs[4]); in vmx_apicv_sync_tmr()3616 vmcs_write(VMCS_EOI_EXIT3, ((uint64_t)tmrs[7] << 32) | tmrs[6]); in vmx_apicv_sync_tmr()