powerpc/mm/4k: don't allocate larger pmd page table for 4k
[linux/fpc-iii.git] / include / kvm / 
treed01a0a714ce268bf195af02f6853918b81dbb62e
drwxr-xr-x   ..
-rw-r--r-- 2336 arm_arch_timer.h
-rw-r--r-- 3955 arm_pmu.h
-rw-r--r-- 8683 arm_vgic.h
-rw-r--r-- 2082 iodev.h