1.1 --- a/knight/shared/KePageAllocator.h	Thu Aug 08 20:26:36 2013 -0700
     1.2 +++ b/knight/shared/KePageAllocator.h	Thu Aug 08 22:02:42 2013 -0700
     1.3 @@ -1,7 +1,8 @@
     1.4  #ifndef _INCLUDE_KNIGHT_KE_PAGE_ALLOCATOR_H_
     1.5  #define _INCLUDE_KNIGHT_KE_PAGE_ALLOCATOR_H_
     1.6  
     1.7 -#include <KeStdTypes.h>
     1.8 +#include <stddef.h>
     1.9 +#include <stdint.h>
    1.10  
    1.11  namespace Knight
    1.12  {