Lines Matching refs:hcall_page
54 static void receiver_code(void *hcall_page, vm_vaddr_t pgs_gpa) in receiver_code() argument
88 static void sender_guest_code(void *hcall_page, vm_vaddr_t pgs_gpa) in sender_guest_code() argument
90 struct hv_send_ipi *ipi = (struct hv_send_ipi *)hcall_page; in sender_guest_code()
91 struct hv_send_ipi_ex *ipi_ex = (struct hv_send_ipi_ex *)hcall_page; in sender_guest_code()
119 memset(hcall_page, 0, 4096); in sender_guest_code()
141 memset(hcall_page, 0, 4096); in sender_guest_code()
163 memset(hcall_page, 0, 4096); in sender_guest_code()
186 memset(hcall_page, 0, 4096); in sender_guest_code()
246 vm_vaddr_t hcall_page; in main() local
256 hcall_page = vm_vaddr_alloc_pages(vm, 2); in main()
257 memset(addr_gva2hva(vm, hcall_page), 0x0, 2 * getpagesize()); in main()
261 vcpu_args_set(vcpu[1], 2, hcall_page, addr_gva2gpa(vm, hcall_page)); in main()
266 vcpu_args_set(vcpu[2], 2, hcall_page, addr_gva2gpa(vm, hcall_page)); in main()
272 vcpu_args_set(vcpu[0], 2, hcall_page, addr_gva2gpa(vm, hcall_page)); in main()