kvm_vcpu_is_legal_aligned_gpa
return kvm_vcpu_is_legal_aligned_gpa(vcpu, gpa, PAGE_SIZE);
CC(!kvm_vcpu_is_legal_aligned_gpa(vcpu, vmcs12->posted_intr_desc_addr, 64))))
if (!kvm_vcpu_is_legal_aligned_gpa(vcpu, addr, 16) ||
return kvm_vcpu_is_legal_aligned_gpa(vcpu, base, 128);