Searched refs:target_mpid (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/kernel/include/arch/armv7/
H A Dboot_protocol.h29 hwid_t target_mpid; member in struct:armv7_boot_record
/barrelfish-master/kernel/arch/armv7/
H A Dboot_protocol.c58 br->target_mpid= target;
65 clean_invalidate_to_poc(&br->target_mpid);
H A Dboot.S24 .globl start, target_mpid
H A Dboot_driver.c195 MSG("APP core %"PRIu32" booting.\n", bootrec->target_mpid);
/barrelfish-master/tools/asmoffsets/
H A Dasmoffsets.c150 DECL(BOOT_TARGET_MPID, struct armv7_boot_record, target_mpid);

Completed in 66 milliseconds