__kvm_at_swap_desc
int __kvm_at_swap_desc(struct kvm *kvm, gpa_t ipa, u64 old, u64 new);
return __kvm_at_swap_desc(vcpu->kvm, pa, old, new);