Searched refs:EFI_PHYSICAL_ADDRESS (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/kernel/include/
H A Duefi_mmap.h20 //EFI_PHYSICAL_ADDRESS
23 typedef uint64_t EFI_PHYSICAL_ADDRESS; typedef
80 EFI_PHYSICAL_ADDRESS PhysicalStart;
/barrelfish-master/tools/armv8_bootimage/
H A Defi_loader.c79 EFI_PHYSICAL_ADDRESS modules;
81 EFI_PHYSICAL_ADDRESS cpu_driver_entry;
82 EFI_PHYSICAL_ADDRESS cpu_driver_stack;
266 (EFI_PHYSICAL_ADDRESS *)&cfg->tables->L0_table
291 EFI_PHYSICAL_ADDRESS L1_memory;
391 BS->FreePages((EFI_PHYSICAL_ADDRESS)cfg->tables->L1_tables[i], 1);
395 BS->FreePages((EFI_PHYSICAL_ADDRESS)cfg->tables->L0_table, 1);
403 relocate_elf(EFI_PHYSICAL_ADDRESS segment_start, uint64_t virtual_offset,
423 EFI_PHYSICAL_ADDRESS boot_driver;
459 EFI_PHYSICAL_ADDRESS cpu_drive
[all...]
/barrelfish-master/lib/acpica/source/include/platform/
H A Dacefiex.h163 typedef UINT64 EFI_PHYSICAL_ADDRESS; typedef
210 EFI_PHYSICAL_ADDRESS PhysicalStart;
547 EFI_PHYSICAL_ADDRESS *Memory);
552 EFI_PHYSICAL_ADDRESS Memory,

Completed in 157 milliseconds