Searched refs:vmcb_hva (Results 1 – 2 of 2) sorted by relevance
21 void *vmcb_hva; member
38 svm->vmcb_hva = addr_gva2hva(vm, (uintptr_t)svm->vmcb); in vcpu_alloc_svm()