Searched refs:hcall_page (Results 1 – 1 of 1) sorted by relevance
474 vm_vaddr_t hcall_page, hcall_params; in guest_test_hcalls_access() local484 hcall_page = vm_vaddr_alloc_pages(vm, 2); in guest_test_hcalls_access()485 memset(addr_gva2hva(vm, hcall_page), 0x0, 2 * getpagesize()); in guest_test_hcalls_access()491 vcpu_args_set(vcpu, 2, addr_gva2gpa(vm, hcall_page), hcall_params); in guest_test_hcalls_access()
