Searched refs:platform_print_id (Results 1 - 9 of 9) sorted by relevance

/barrelfish-master/kernel/arch/armv8/
H A Dplat_arm_vm.c71 void platform_print_id(void) function
H A Dplat_cn88xx.c128 void platform_print_id(void) function
H A Dplat_imx8x.c136 void platform_print_id(void) function
H A Dplat_qemu.c131 void platform_print_id(void) function
H A Dplat_rpi3.c109 void platform_print_id(void) function
/barrelfish-master/kernel/include/arch/arm/
H A Dplatform.h40 void platform_print_id(void);
/barrelfish-master/kernel/arch/armv7/
H A Dplat_vexpress.c53 void platform_print_id(void) function
H A Dplat_omap44xx.c60 void platform_print_id(void) function
H A Dplat_zynq7.c73 platform_print_id(void) { function

Completed in 55 milliseconds