Searched defs:boot_core_data (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/kernel/arch/armv7/
H A Dpaging_init.c108 paging_init(lpaddr_t ram_base, size_t ram_size, struct arm_core_data *boot_core_data) argument
H A Dinit.c132 arch_init(struct arm_core_data *boot_core_data, argument
H A Dboot_driver.c54 struct arm_core_data boot_core_data __attribute__((section(".boot"))); variable in typeref:struct:arm_core_data
[all...]
H A Dpaging.c69 void paging_load_pointers(struct arm_core_data *boot_core_data) { argument

Completed in 43 milliseconds