/* The following only work if pte_present() is true. Undefined behaviour if not..  */
static pte_t sun4c_pte_mkwrite(pte_t pte)
/* The following only work if pte_present() is true. Undefined behaviour if not..  */
static pte_t sun4c_pte_mkwrite(pte_t pte)
{
	pte = __pte(pte_val(pte) | _SUN4C_PAGE_WRITE);
	if (pte_val(pte) & _SUN4C_PAGE_MODIFIED)
		pte = __pte(pte_val(pte) | _SUN4C_PAGE_SILENT_WRITE);
	return pte;
}