Searched refs:srmmu_ctx_table_phys (Results 1 – 5 of 5) sorted by relevance
8 extern ctxd_t *srmmu_ctx_table_phys;
53 extern ctxd_t *srmmu_ctx_table_phys;224 smp_penguin_ctable.phys_addr = (unsigned int)srmmu_ctx_table_phys; in leon_boot_one_cpu()
115 smp_penguin_ctable.phys_addr = (unsigned int) srmmu_ctx_table_phys; in smp4m_boot_one_cpu()
148 smp_penguin_ctable.phys_addr = (unsigned int) srmmu_ctx_table_phys; in smp4d_boot_one_cpu()
86 ctxd_t *srmmu_ctx_table_phys; variable1306 srmmu_ctx_table_phys = (ctxd_t *)__nocache_pa((unsigned long)srmmu_context_table); in srmmu_paging_init()1312 srmmu_set_ctable_ptr((unsigned long)srmmu_ctx_table_phys); in srmmu_paging_init()