Added support for L2 (4K) page tables and made the CPU driver change cachability...
[mirror_edk2.git] / ArmPkg / Include / Protocol /
drwxr-xr-x   ..
-rw-r--r-- 1542 TimerDebugSupport.h
-rw-r--r-- 1819 VirtualUncachedPages.h