Searched refs:vmcs_pa (Results 1 – 1 of 1) sorted by relevance
117 uint64_t vmcs_pa; in load_va_vmcs() local119 vmcs_pa = hva2hpa(vmcs_va); in load_va_vmcs()120 exec_vmptrld((void *)&vmcs_pa); in load_va_vmcs()128 uint64_t vmcs_pa; in clear_va_vmcs() local130 vmcs_pa = hva2hpa(vmcs_va); in clear_va_vmcs()131 exec_vmclear((void *)&vmcs_pa); in clear_va_vmcs()
Completed in 2 milliseconds