mips_pg_m_bit
mips_pg_m_bit(void) __pure,
pte |= mips_pg_m_bit();
atomic_or_32(ptep, mips_pg_m_bit());