Symbol: vmm_gpa_is_valid
sys/arch/amd64/amd64/vmm_machdep.c
153
int vmm_gpa_is_valid(struct vcpu *vcpu, paddr_t gpa, size_t obj_size);
sys/arch/amd64/amd64/vmm_machdep.c
7018
if (!vmm_gpa_is_valid(vcpu, pvclock_gpa,
sys/arch/amd64/amd64/vmm_machdep.c
7082
if (!vmm_gpa_is_valid(vcpu, gpa, sizeof(struct pvclock_wall_clock)))