Searched refs:mmu_index_base (Results 1 – 1 of 1) sorted by relevance
8324 int mmu_index_base = in x86_mmu_index_pl() local8329 return mmu_index_base + mmu_index_32; in x86_mmu_index_pl()8341 int mmu_index_base = in x86_mmu_index_kernel_pl() local8346 return mmu_index_base + mmu_index_32; in x86_mmu_index_kernel_pl()