#include <ntoskrnl.h>
#include <debug.h>
Go to the source code of this file.
Defines |
| #define | NDEBUG |
| #define | __ARMV6__ KeIsArmV6 |
Functions |
| VOID NTAPI | KiInitMachineDependent (VOID) |
| VOID NTAPI | KiInitializeKernel (IN PKPROCESS InitProcess, IN PKTHREAD InitThread, IN PVOID IdleStack, IN PKPRCB Prcb, IN CCHAR Number, IN PLOADER_PARAMETER_BLOCK LoaderBlock) |
| | C_ASSERT ((PKIPCR) KeGetPcr()==(PKIPCR) 0xFFDFF000) |
| | C_ASSERT ((FIELD_OFFSET(KIPCR, FirstLevelDcacheSize)&4)==0) |
| | C_ASSERT (sizeof(KIPCR)<=PAGE_SIZE) |
| VOID NTAPI | KiInitializePcr (IN ULONG ProcessorNumber, IN PKIPCR Pcr, IN PKTHREAD IdleThread, IN PVOID PanicStack, IN PVOID InterruptStack) |
| VOID | KiInitializeMachineType (VOID) |
| VOID | KiInitializeSystem (IN PLOADER_PARAMETER_BLOCK LoaderBlock) |
| ULONG | DbgPrintEarly (const char *fmt,...) |
Variables |
| KINTERRUPT | KxUnexpectedInterrupt |
| BOOLEAN | KeIsArmV6 |
| ULONG | KeNumberProcessIds |
| ULONG | KeNumberTbEntries |
| ULONG | ProcessCount |
| PVOID | KiArmVectorTable |