Searched refs:mmu_index_base (Results 1 – 1 of 1) sorted by relevance
8140 int mmu_index_base = in x86_mmu_index_pl() local8145 return mmu_index_base + mmu_index_32; in x86_mmu_index_pl()8157 int mmu_index_base = in x86_mmu_index_kernel_pl() local8162 return mmu_index_base + mmu_index_32; in x86_mmu_index_kernel_pl()