Searched refs:mmu_index_base (Results 1 – 2 of 2) sorted by relevance
2390 int mmu_index_base = in cpu_mmu_index_kernel() local2394 return mmu_index_base + mmu_index_32; in cpu_mmu_index_kernel()
8085 int mmu_index_base = in x86_cpu_mmu_index() local8090 return mmu_index_base + mmu_index_32; in x86_cpu_mmu_index()