Searched refs:vcpu_gpa (Results 1 – 2 of 2) sorted by relevance
173 vm_paddr_t vcpu_gpa; in add_vcpus() local192 vcpu_gpa = guest_test_phys_mem + (vcpu_id * vcpu_memory_bytes); in add_vcpus()194 vcpu_id, vcpu_gpa, vcpu_gpa + vcpu_memory_bytes); in add_vcpus()
290 vm_paddr_t vcpu_gpa; in run_test() local293 vcpu_gpa = guest_test_phys_mem + (vcpu_id * guest_percpu_mem_size); in run_test()295 vcpu_id, vcpu_gpa, vcpu_gpa + guest_percpu_mem_size); in run_test()298 vcpu_hva = addr_gpa2hva(vm, vcpu_gpa); in run_test()