Searched defs:hcall_page (Results 1 – 4 of 4) sorted by relevance
54 static void receiver_code(void *hcall_page, vm_vaddr_t pgs_gpa) in receiver_code()86 static void sender_guest_code(void *hcall_page, vm_vaddr_t pgs_gpa) in sender_guest_code()244 vm_vaddr_t hcall_page; in main() local
153 vm_vaddr_t hcall_page; in main() local
235 vm_vaddr_t hcall_page; in main() local
526 vm_vaddr_t hcall_page, hcall_params; in guest_test_hcalls_access() local