Searched refs:args_gva (Results 1 – 1 of 1) sorted by relevance
745 vm_vaddr_t args_gva; in test_vgic() local763 args_gva = vm_vaddr_alloc_page(vm); in test_vgic()764 memcpy(addr_gva2hva(vm, args_gva), &args, sizeof(args)); in test_vgic()765 vcpu_args_set(vcpu, 1, args_gva); in test_vgic()