Searched refs:hcall_out_page (Results 1 – 1 of 1) sorted by relevance
38 vm_vaddr_t hcall_out_page; in main() local62 hcall_out_page = vm_vaddr_alloc_pages(vm, 1); in main()63 memset(addr_gva2hva(vm, hcall_out_page), 0x0, vm->page_size); in main()66 addr_gva2gpa(vm, hcall_out_page), hcall_out_page); in main()