L2_TYPE_INV
KDASSERT((pte & L2_TYPE_MASK) != L2_TYPE_INV);
if (opte != L2_TYPE_INV) {
*ptep = L2_TYPE_INV;
if (opte != L2_TYPE_INV) {
if (opte == L2_TYPE_INV) {
if (pte == L2_TYPE_INV) {
*ptep = L2_TYPE_INV;
if (opte == L2_TYPE_INV)
if (opte != L2_TYPE_INV) {
*ptep = L2_TYPE_INV;
if (pte == L2_TYPE_INV)
if (opte != L2_TYPE_INV) {
KASSERT(pte != L2_TYPE_INV);
if (ptep[l2idx] != L2_TYPE_INV)
#define l2pte_valid(pte) (((pte) & L2_TYPE_MASK) != L2_TYPE_INV)