Searched defs:pgs_gpa (Results 1 – 3 of 3) sorted by relevance
48 static inline void hv_init(vm_vaddr_t pgs_gpa) in hv_init()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()
70 vm_vaddr_t pgs_gpa) in guest_code()
85 static void guest_hcall(vm_vaddr_t pgs_gpa, struct hcall_data *hcall) in guest_hcall()