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

/fuchsia/zircon/bootloader/src/
H A Dosboot.h62 extern efi_physical_addr kernel_zone_base;
H A Dosboot.c337 efi_physical_addr kernel_zone_base; variable
387 kernel_zone_base = 0x100000;
391 BYTES_TO_PAGES(kernel_zone_size), &kernel_zone_base)) {
392 printf("boot: cannot obtain memory for kernel @ %p\n", (void*) kernel_zone_base);
H A Dzircon.c295 memcpy((void*)kernel_zone_base, image, isz);

Completed in 21 milliseconds