Searched refs:hcall_in_page (Results 1 – 1 of 1) sorted by relevance
39 gva_t hcall_in_page; in main() local60 hcall_in_page = vm_alloc_pages(vm, 1); in main()61 memset(addr_gva2hva(vm, hcall_in_page), 0x0, vm->page_size); in main()67 vcpu_args_set(vcpu, 3, addr_gva2gpa(vm, hcall_in_page), in main()