src/system/kernel/arch/arm/paging/32bit/paging.h src/system/kernel/arch/m68k/paging/040/paging.h src/system/kernel/arch/x86/paging/32bit/paging.h src/system/kernel/arch/x86/paging/64bit/paging.h src/system/kernel/arch/x86/paging/pae/paging.h
