Searched refs:pgs_gpa (Results 1 – 1 of 1) sorted by relevance
125 static void guest_hcall(vm_vaddr_t pgs_gpa, struct hcall_data *hcall) in guest_hcall() argument131 wrmsr(HV_X64_MSR_HYPERCALL, pgs_gpa); in guest_hcall()136 input = pgs_gpa; in guest_hcall()137 output = pgs_gpa + 4096; in guest_hcall()