MFN_INVALID
xkb->xkb_pt_map[i].mm_mfn = MFN_INVALID;
xkb->xkb_map.mm_mfn = MFN_INVALID;
if (as != NULL && (tlmfn = xkb_as_to_mfn(xkb, as)) == MFN_INVALID)
if (mfn == MFN_INVALID || mfn > xkb->xkb_max_mfn)
if (xkb->xkb_p2m[i] != MFN_INVALID &&
if (xkb->xkb_p2m[i] != MFN_INVALID)
return (MFN_INVALID);
return (MFN_INVALID);
return (MFN_INVALID);
return (MFN_INVALID);
if (as != NULL && (tlmfn = xkb_as_to_mfn(xkb, as)) == MFN_INVALID)
if (mfn == MFN_INVALID)
if (mfn == MFN_INVALID)
return (MFN_INVALID);
if ((mfn = xkb_pte_to_base_mfn(pte, level)) == MFN_INVALID)
return (MFN_INVALID);
ASSERT(mfn != MFN_INVALID);
ASSERT(tbuf.start_mfn != MFN_INVALID);
if (mfn_list[pfn] == MFN_INVALID) {
if (newmfn == MFN_INVALID)
if (mme->mfn == MFN_INVALID) {
if (mfn == MFN_INVALID) {
reassign_pfn(pfn_frames[i], MFN_INVALID);
reassign_pfn(pfn, MFN_INVALID);
if (mfn == MFN_INVALID)
if (mfn == MFN_INVALID)
if (mfn == MFN_INVALID) {
if (mfn_list[pfn] == MFN_INVALID) {