DEBUG("DATAMEM: %lx, %zu kb\n", monitor_mem.frameid.base,
monitor_mem.frameid.bytes >> 10);
-
/*
* The layout is:
* [ARMv8 CORE DATA]
return err;
}
+ DEBUG("STACKMEM: %lx, %zu kb\n", stack_mem.frameid.base,
+ stack_mem.frameid.bytes >> 10);
+
/* Load cpu */
genvaddr_t boot_entry, cpu_driver_entry;
core_data->boot_magic = ARMV8_BOOTMAGIC_PSCI;
core_data->cpu_driver_stack = stack_mem.frameid.base + stack_mem.frameid.bytes - 16;
+ core_data->cpu_driver_stack_limit = stack_mem.frameid.base + BASE_PAGE_SIZE;
+
+ DEBUG("kernel stack: 0x%" PRIxLPADDR"..0x%" PRIxLPADDR "\n",
+ core_data->cpu_driver_stack_limit,
+ core_data->cpu_driver_stack);
+
core_data->cpu_driver_entry = cpu_driver_entry;