vmm_gpa_is_valid
int vmm_gpa_is_valid(struct vcpu *vcpu, paddr_t gpa, size_t obj_size);
if (!vmm_gpa_is_valid(vcpu, pvclock_gpa,
if (!vmm_gpa_is_valid(vcpu, gpa, sizeof(struct pvclock_wall_clock)))