Searched refs:vcpu_hva (Results 1 – 2 of 2) sorted by relevance
191 void *vcpu_hva; in run_test() local196 vcpu_hva = addr_gpa2hva(vm, vcpu_args->gpa); in run_test()202 p->uffd_mode, p->uffd_delay, vcpu_hva, in run_test()
625 unsigned long vcpu_hva) in __pkvm_init_vcpu() argument632 hyp_vcpu = map_donated_memory(vcpu_hva, sizeof(*hyp_vcpu)); in __pkvm_init_vcpu()