Searched refs:arch_info_armv8 (Results 1 - 8 of 8) sorted by relevance

/barrelfish-master/include/barrelfish_kpi/
H A Dplatform.h63 struct arch_info_armv8 { struct
73 STATIC_ASSERT_SIZEOF(struct arch_info_armv8, 28);
75 STATIC_ASSERT(PI_ARCH_INFO_SIZE >= sizeof(struct arch_info_armv8), \
87 struct arch_info_armv8 armv8;
/barrelfish-master/kernel/arch/armv8/
H A Dplat_arm_vm.c85 void armv8_get_info(struct arch_info_armv8 *ai)
H A Dplat_cn88xx.c142 void armv8_get_info(struct arch_info_armv8 *ai)
H A Dplat_imx8x.c154 void armv8_get_info(struct arch_info_armv8 *ai)
H A Dplat_qemu.c145 void armv8_get_info(struct arch_info_armv8 *ai)
H A Dplat_rpi3.c123 void armv8_get_info(struct arch_info_armv8 *ai)
H A Dplat_apm88xxxx.c114 void armv8_get_info(struct arch_info_armv8 *ai)
/barrelfish-master/kernel/include/arch/arm/
H A Dplatform.h52 void armv8_get_info(struct arch_info_armv8 *ai);

Completed in 61 milliseconds