Coredata: making archid to be of type hwid_t
authorReto Achermann <reto.achermann@inf.ethz.ch>
Mon, 6 Mar 2017 10:22:31 +0000 (11:22 +0100)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Mon, 6 Mar 2017 10:22:31 +0000 (11:22 +0100)
commitbd206bf26b6a8267834f5c1e54e97ed566273444
treebda8d482ce1b8c5f23712c565dbb5ffa4ec9d634
parenta3521bd6fc9060390a0f41e5a4e656e88c527522
Coredata: making archid to be of type hwid_t

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
include/target/aarch64/barrelfish_kpi/arm_core_data.h
include/target/arm/barrelfish_kpi/arm_core_data.h
include/target/x86/barrelfish_kpi/coredata_target.h
kernel/arch/x86_64/startup_arch.c
usr/drivers/cpuboot/main.c