taglinefilesource code
srmmu_ctx_table_phys19arch/sparc/kernel/smp.cextern ctxd_t *srmmu_ctx_table_phys;
srmmu_ctx_table_phys203arch/sparc/kernel/smp.cpenguin_ctable.phys_addr = (char *) srmmu_ctx_table_phys;
srmmu_ctx_table_phys322arch/sparc/kernel/traps.cextern ctxd_t *srmmu_ctx_table_phys;
srmmu_ctx_table_phys69arch/sparc/mm/srmmu.cctxd_t *srmmu_ctx_table_phys;
srmmu_ctx_table_phys1877arch/sparc/mm/srmmu.csrmmu_ctx_table_phys = (ctxd_t *) srmmu_v2p((unsigned long) srmmu_context_table);
srmmu_ctx_table_phys1899arch/sparc/mm/srmmu.csrmmu_set_ctable_ptr((unsigned long) srmmu_ctx_table_phys);