Searched refs:platform_get_info (Results 1 - 12 of 12) sorted by relevance

/barrelfish-master/kernel/arch/armv8/
H A Dplat_arm_vm.c79 void platform_get_info(struct platform_info *pi) function
H A Dplat_cn88xx.c136 void platform_get_info(struct platform_info *pi) function
H A Dplat_imx8x.c144 void platform_get_info(struct platform_info *pi) function
H A Dplat_qemu.c139 void platform_get_info(struct platform_info *pi) function
H A Dplat_rpi3.c117 void platform_get_info(struct platform_info *pi) function
H A Dplat_apm88xxxx.c108 void platform_get_info(struct platform_info *pi) function
H A Dsyscall.c711 platform_get_info((struct platform_info*)sa->arg2);
/barrelfish-master/kernel/include/arch/arm/
H A Dplatform.h50 void platform_get_info(struct platform_info *pi);
/barrelfish-master/kernel/arch/armv7/
H A Dplat_vexpress.c69 void platform_get_info(struct platform_info *pi) function
H A Dplat_omap44xx.c77 void platform_get_info(struct platform_info *pi) function
H A Dplat_zynq7.c100 platform_get_info(struct platform_info *pi) { function
H A Dsyscall.c717 platform_get_info((struct platform_info*)sa->arg2);

Completed in 97 milliseconds