Searched refs:mmu_index_base (Results 1 – 2 of 2) sorted by relevance
2439 int mmu_index_base = in cpu_mmu_index_kernel() 2443 return mmu_index_base + mmu_index_32; in cpu_mmu_index_kernel() 2438 int mmu_index_base = cpu_mmu_index_kernel() local
8112 int mmu_index_base = in x86_cpu_mmu_index() 8117 return mmu_index_base + mmu_index_32; in x86_cpu_mmu_index() 8114 int mmu_index_base = x86_cpu_mmu_index() local