Searched refs:armv7_boot_record (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/kernel/include/arch/armv7/
H A Dinit.h28 struct armv7_boot_record *bootrec);
H A Dboot_protocol.h18 struct armv7_boot_record { struct
/barrelfish-master/kernel/arch/armv7/
H A Dboot_protocol.c43 struct armv7_boot_record *br=
44 (struct armv7_boot_record *)core_data->target_bootrecs;
H A Dboot_driver.c31 void boot_app_core(struct armv7_boot_record *bootrec);
43 struct armv7_boot_record boot_records[1];
192 void boot_app_core(struct armv7_boot_record *bootrec) {
H A Dinit.c133 struct armv7_boot_record *bootrec) {
/barrelfish-master/tools/asmoffsets/
H A Dasmoffsets.c150 DECL(BOOT_TARGET_MPID, struct armv7_boot_record, target_mpid);
152 EMIT(SIZEOF_BOOT_RECORD, sizeof(struct armv7_boot_record));

Completed in 50 milliseconds