ISP_PTE_VALID_MASK
((pte) & ISP_PTE_VALID_MASK(mmu))
return (unsigned int)(pte | ISP_PTE_VALID_MASK(mmu));