taglinefilesource code
get_pte147arch/sparc/mm/fault.cput_pte(prom_va_begin, get_pte(prom_va_begin) | 0x20000000);
get_pte324arch/sparc/mm/fault.cput_pte(b, (get_pte(b) & mask));