taglinefilesource code
page_entry396arch/sparc/mm/sun4c.cunsigned long page_entry;
page_entry398arch/sparc/mm/sun4c.cpage_entry = ((physaddr >> PAGE_SHIFT) & _SUN4C_PFN_MASK);
page_entry401arch/sparc/mm/sun4c.cpage_entry |= (PTE_V | PTE_ACC | PTE_NC | PTE_IO);  /* kernel io addr */
page_entry403arch/sparc/mm/sun4c.cpage_entry |= (PTE_V | PTE_P | PTE_NC | PTE_IO);  /* readonly io addr */
page_entry405arch/sparc/mm/sun4c.cpage_entry &= (~PTE_RESV);
page_entry410arch/sparc/mm/sun4c.cput_pte(virt_addr, page_entry);
page_entry581arch/sparc/mm/sun4c.cunsigned long page_entry;
page_entry584arch/sparc/mm/sun4c.cpage_entry = pte_val(sun4c_mk_pte(PAGE_OFFSET, SUN4C_PAGE_READONLY));
page_entry585arch/sparc/mm/sun4c.cput_pte((unsigned long) 0x0, page_entry);