headers/private/kernel/platform/efi/boot-services.h

31

efi_physical_addr PhysicalStart;

headers/private/kernel/platform/efi/boot-services.h

94

size_t pages, efi_physical_addr* memory) EFIAPI;

headers/private/kernel/platform/efi/boot-services.h

96

efi_status (*FreePages) (efi_physical_addr memory, size_t pages) EFIAPI;

headers/private/kernel/platform/efi/protocol/device-path.h

69

efi_physical_addr StartAddress;

headers/private/kernel/platform/efi/protocol/device-path.h

70

efi_physical_addr EndAddress;

headers/private/kernel/platform/efi/protocol/graphics-output.h

42

efi_physical_addr FrameBufferBase;

headers/private/kernel/platform/efi/protocol/pci-root-bridge-io.h

90

efi_physical_addr* device_addr, void** mapping) EFIAPI;

headers/private/kernel/platform/efi/runtime-services.h

143

efi_physical_addr scatter_gather_list) EFIAPI;

headers/private/kernel/platform/efi/runtime-services.h

75

efi_physical_addr DataBlock;

headers/private/kernel/platform/efi/runtime-services.h

76

efi_physical_addr ContinuationPointer;

src/system/boot/platform/efi/arch/arm/arch_start.cpp

142

efi_physical_addr loaderCode = 0LL;

src/system/boot/platform/efi/arch/arm64/arch_start.cpp

111

efi_physical_addr loaderCode = 0LL;

src/system/boot/platform/efi/heap.cpp

17

efi_physical_addr base;

src/system/boot/platform/efi/heap.cpp

29

kBootServices->FreePages((efi_physical_addr)base, size / B_PAGE_SIZE);

src/system/boot/platform/efi/mmu.cpp

101

efi_physical_addr addr = 0;

src/system/boot/platform/efi/mmu.cpp

154

efi_physical_addr addr = maxAddress;

src/system/boot/platform/efi/mmu.cpp

321

status = kBootServices->FreePages((efi_physical_addr)(addr_t)address,

src/system/boot/platform/efi/mmu.cpp

56

efi_physical_addr addr;