63 DbgPrint(
"Machine Identifier: %lx\nPCLK: %d\nTIMER 0: %p\nSERIAL UART: %p\n",
103 CHAR CommandLine[64];
118 "rdbase=0x%lx rdsize=0x%lx rdoffset=%s",
int strcmp(const char *String1, const char *String2)
char * strcpy(char *DstString, const char *SrcString)
VOID NTAPI LlbBuildMemoryMap(VOID)
POSLOADER_INIT NTAPI LlbHwLoadOsLoaderFromRam(VOID)
VOID NTAPI LlbAllocateMemoryEntry(IN BIOS_MEMORY_TYPE Type, IN ULONG BaseAddress, IN ULONG Length)
VOID NTAPI LlbSetCommandLine(IN PCHAR CommandLine)
BIOS_MEMORY_MAP MemoryMap[32]
ARM_BOARD_CONFIGURATION_BLOCK ArmBlock
POSLOADER_INIT LoaderInit
VOID NTAPI LlbLoadOsLoader(VOID)
VOID NTAPI LlbBuildArmBlock(VOID)
PCHAR NTAPI LlbEnvRead(IN PCHAR ValueName)
BOOLEAN NTAPI LlbEnvGetRamDiskInformation(IN PULONG Base, IN PULONG Size)
ULONG LlbFwVideoSetDisplayMode(IN PCHAR DisplayModeName, IN BOOLEAN Init)
VOID LlbFwPutChar(INT Ch)
VOID LlbFwVideoClearScreen(IN UCHAR Attr)
VOID LlbFwVideoGetDisplaySize(OUT PULONG Width, OUT PULONG Height, OUT PULONG Depth)
VOID LlbFwVideoPutChar(IN INT c, IN UCHAR Attr, IN ULONG X, IN ULONG Y)
TIMEINFO * LlbFwGetTime(VOID)
_In_ HANDLE _Outptr_result_bytebuffer_ ViewSize PVOID * BaseAddress
_In_ ULONG _In_ ULONG Offset
_In_ ULONG _In_ ULONG _In_ ULONG Length
ULONG NTAPI LlbHwGetSerialUart(VOID)
ULONG NTAPI LlbHwGetBoardType(VOID)
VOID NTAPI LlbHwBuildMemoryMap(IN PBIOS_MEMORY_MAP MemoryMap)
ULONG NTAPI LlbHwGetPClk(VOID)
ULONG NTAPI LlbHwGetTmr0Base(VOID)
ULONG NTAPI LlbHwGetUartBase(IN ULONG Port)
#define ARM_BOARD_CONFIGURATION_MINOR_VERSION
#define ARM_BOARD_CONFIGURATION_MAJOR_VERSION
VOID(* POSLOADER_INIT)(IN PVOID BoardInit)
base of all file and directory entries
PBIOS_MEMORY_MAP MemoryMap
ULONG MemoryMapEntryCount
PVOID VideoSetDisplayMode
PVOID VideoGetDisplaySize
_Must_inspect_result_ _In_ WDFDEVICE _In_ PWDF_DEVICE_PROPERTY_DATA _In_ DEVPROPTYPE _In_ ULONG Size