Searched refs:hcall_in_page (Results 1 – 1 of 1) sorted by relevance
40 vm_vaddr_t hcall_in_page; in main() local59 hcall_in_page = vm_vaddr_alloc_pages(vm, 1); in main()60 memset(addr_gva2hva(vm, hcall_in_page), 0x0, vm->page_size); in main()66 vcpu_args_set(vcpu, 3, addr_gva2gpa(vm, hcall_in_page), in main()
Completed in 4 milliseconds