taglinefilesource code
srmmu_set_context773arch/sparc/mm/srmmu.csrmmu_set_context(i);
srmmu_set_context775arch/sparc/mm/srmmu.csrmmu_set_context(0);