Searched refs:msr_gva (Results 1 – 1 of 1) sorted by relevance
137 vm_vaddr_t msr_gva; in guest_test_msrs_access() local144 msr_gva = vm_vaddr_alloc_page(vm); in guest_test_msrs_access()145 memset(addr_gva2hva(vm, msr_gva), 0x0, getpagesize()); in guest_test_msrs_access()146 msr = addr_gva2hva(vm, msr_gva); in guest_test_msrs_access()148 vcpu_args_set(vcpu, 1, msr_gva); in guest_test_msrs_access()