taglinefilesource code
put_pte144arch/sparc/mm/fault.cput_pte(prom_va_begin, get_pte(prom_va_begin) | 0x20000000);
put_pte182arch/sparc/mm/init.cput_pte(b, (get_pte(b) & mask));
put_pte96include/asm-sparc/io.hput_pte(page_entry, virt_addr);