Searched refs:PhysicalStart (Results 1 - 8 of 8) sorted by relevance
| /barrelfish-2018-10-04/tools/fastmodels/ |
| H A D | efi.c | 13 mmap[i].PhysicalStart,
14 mmap[i].PhysicalStart + (mmap[i].NumberOfPages * PAGE_4k) - 1);
|
| H A D | efi.h | 53 uint64_t PhysicalStart; member in struct:__anon1426
|
| H A D | main.c | 122 mmap[first_region].PhysicalStart= 0x80000000;
140 mmap[first_region+1].PhysicalStart= 0x880000000;
154 if(allocbase >= mmap[region].PhysicalStart +
158 mmap[region].PhysicalStart,
159 mmap[region].PhysicalStart +
690 uint64_t allocbase= mmap[first_region].PhysicalStart;
707 mmap[0].PhysicalStart= kernel_start;
718 mmap[1].PhysicalStart= config->kernel_stack;
729 mmap[2].PhysicalStart= allocbase;
739 mmap[3].PhysicalStart
[all...] |
| /barrelfish-2018-10-04/kernel/include/arch/armv8/ |
| H A D | efi.h | 55 uint64_t PhysicalStart; member in struct:__anon417
|
| /barrelfish-2018-10-04/kernel/include/ |
| H A D | uefi_mmap.h | 80 EFI_PHYSICAL_ADDRESS PhysicalStart; member in struct:__anon468
|
| /barrelfish-2018-10-04/kernel/arch/armv8/ |
| H A D | init.c | 73 physical_mem = ROUND_UP(desc->PhysicalStart, BASE_PAGE_SIZE);
|
| H A D | startup_arch.c | 364 if (last_end_addr < desc->PhysicalStart) {
366 create_phys_caps_region(reserved_start, reserved_end, last_end_addr, desc->PhysicalStart - last_end_addr, RegionType_PhyAddr);
368 last_end_addr = desc->PhysicalStart + desc->NumberOfPages * BASE_PAGE_SIZE;
370 create_phys_caps_region(reserved_start, reserved_end, desc->PhysicalStart, desc->NumberOfPages * BASE_PAGE_SIZE, region_type);
|
| /barrelfish-2018-10-04/lib/acpica/source/include/platform/ |
| H A D | acefiex.h | 210 EFI_PHYSICAL_ADDRESS PhysicalStart; member in struct:__anon504
|
Completed in 119 milliseconds