Home
last modified time | relevance | path

Searched refs:KernelAddress (Results 1 – 2 of 2) sorted by relevance

/device/linaro/bootloader/edk2/EmbeddedPkg/Include/Library/
DAbootimgLib.h40 UINT32 KernelAddress; member
/device/linaro/bootloader/edk2/OvmfPkg/Library/LoadLinuxLib/
DLinux.c160 EFI_PHYSICAL_ADDRESS KernelAddress; in LoadLinuxAllocateKernelPages() local
171 KernelAddress = MultU64x32 ( in LoadLinuxAllocateKernelPages()
179 &KernelAddress in LoadLinuxAllocateKernelPages()
182 return (VOID*)(UINTN) KernelAddress; in LoadLinuxAllocateKernelPages()