Amine Khaldi e83facdb84 [NTOSKRNL] ... - Add KiGetSecondLevelDCacheSize (for all the available architectures) and MiGetPdeOffset macros. - Remove conflicting PDE_SIZE definitions (both aren't used anywhere). - Fix ValidKernelPde, PointerPte and PointerPde types and correct their use (mminit.c). - Thanks to the work that was done over the recent commits (in the header branch) and this one, the kernel now builds (but doesn't link yet) for ARM. svn path=/branches/header-work/; revision=47258		2010-05-17 21:26:51 +00:00
..
internal	[NTOSKRNL]	2010-05-17 21:26:51 +00:00
config.h
ntoskrnl.h	[NTOSKRNL]	2010-03-20 16:58:43 +00:00
resource.h	Sync with trunk head	2010-03-09 00:19:55 +00:00