KVM_INVALID_PTE_TYPE_LOCKED
if (!type || type == KVM_INVALID_PTE_TYPE_LOCKED)
KVM_INVALID_PTE_TYPE_LOCKED;
KVM_INVALID_PTE_TYPE_LOCKED);