Searched refs:EPTP_LIST_ADDR (Results 1 – 2 of 2) sorted by relevance
416 EPTP_LIST_ADDR = 0x00002024, enumerator
2147 __vmwrite(EPTP_LIST_ADDR, virt_to_maddr(d->arch.altp2m_visible_eptp)); in vmx_vcpu_update_vmfunc_ve()
Completed in 12 milliseconds