Will Deacon 9ab6d02fdd arm64: pgtable: use pte_index instead of __pte_index ... pte_index is a useful helper outside of arch/arm64, for things like the ARM SMMU driver, so rename __pte_index to pte_index to be consistent with both arch/arm/ and also the definitions of pmd_index and pgd_index. Signed-off-by: Will Deacon <will.deacon@arm.com> Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>		2013-06-11 18:15:24 +01:00
..
asm	arm64: pgtable: use pte_index instead of __pte_index	2013-06-11 18:15:24 +01:00
uapi/asm	arm64: Add kvm_para.h and xor.h generic headers	2013-01-29 17:39:15 +00:00