Searched refs:hcall_in_page (Results 1 – 1 of 1) sorted by relevance
39 vm_vaddr_t hcall_in_page; in main() local58 hcall_in_page = vm_vaddr_alloc_pages(vm, 1); in main()59 memset(addr_gva2hva(vm, hcall_in_page), 0x0, vm->page_size); in main()65 vcpu_args_set(vcpu, 3, addr_gva2gpa(vm, hcall_in_page), in main()