Searched refs:SystemMemoryBase (Results 1 – 4 of 4) sorted by relevance
98 UINTN SystemMemoryBase; in InitializeMemory() local118 SystemMemoryBase = (UINTN)PcdGet64 (PcdSystemMemoryBase); in InitializeMemory()119 SystemMemoryTop = SystemMemoryBase + PcdGet64 (PcdSystemMemorySize); in InitializeMemory()131 if ((FdBase >= SystemMemoryBase) && (FdTop <= SystemMemoryTop)) { in InitializeMemory()138 ASSERT (SystemMemoryBase + FixedPcdGet32 (PcdSystemMemoryUefiRegionSize) <= FdBase); in InitializeMemory()144 ASSERT ((FdBase < SystemMemoryBase) || (FdBase >= SystemMemoryTop)); in InitializeMemory()145 ASSERT ((FdTop <= SystemMemoryBase) || (FdTop > SystemMemoryTop)); in InitializeMemory()
47 #define LINUX_KERNEL_MAX_OFFSET (SystemMemoryBase + PcdGet32(PcdArmLinuxKernelMaxOffset))48 #define LINUX_ATAG_MAX_OFFSET (SystemMemoryBase + PcdGet32(PcdArmLinuxAtagMaxOffset))49 #define LINUX_FDT_MAX_OFFSET (SystemMemoryBase + PcdGet32(PcdArmLinuxFdtMaxOffset))120 IN EFI_PHYSICAL_ADDRESS SystemMemoryBase,145 IN EFI_PHYSICAL_ADDRESS SystemMemoryBase,166 IN EFI_PHYSICAL_ADDRESS SystemMemoryBase,
19 OUT UINT64 *SystemMemoryBase, in FindMemnode() argument68 *SystemMemoryBase = fdt32_to_cpu (Prop[0]); in FindMemnode()70 *SystemMemoryBase = (*SystemMemoryBase << 32) | fdt32_to_cpu (Prop[1]); in FindMemnode()