taglinefilesource code
srmmu_flush_tlb_ctx420arch/sparc/mm/srmmu.csrmmu_flush_tlb_ctx(); /* POW! */
srmmu_flush_tlb_ctx507arch/sparc/mm/srmmu.csrmmu_flush_tlb_ctx();