__unregister_enc_region_locked
__unregister_enc_region_locked(kvm, region);
__unregister_enc_region_locked(kvm,