Searched refs:args_gva (Results 1 – 1 of 1) sorted by relevance
746 vm_vaddr_t args_gva; in test_vgic() local765 args_gva = vm_vaddr_alloc_page(vm); in test_vgic()766 memcpy(addr_gva2hva(vm, args_gva), &args, sizeof(args)); in test_vgic()767 vcpu_args_set(vcpu, 1, args_gva); in test_vgic()
