Searched refs:mmu_ctx_info_t (Results 1 – 4 of 4) sorted by relevance
1017 plat_cpuid_to_mmu_ctx_info(processorid_t cpuid, mmu_ctx_info_t *info) in plat_cpuid_to_mmu_ctx_info()
621 } mmu_ctx_info_t; typedef625 extern void plat_cpuid_to_mmu_ctx_info(processorid_t, mmu_ctx_info_t *);
1593 sfmmu_cpuid_to_mmu_ctx_info(processorid_t cpuid, mmu_ctx_info_t *infop) in sfmmu_cpuid_to_mmu_ctx_info()1608 mmu_ctx_info_t info; in sfmmu_cpu_init()
1329 plat_cpuid_to_mmu_ctx_info(processorid_t cpuid, mmu_ctx_info_t *info) in plat_cpuid_to_mmu_ctx_info()