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

/barrelfish-master/include/barrelfish_kpi/
H A Dplatform.h23 PI_ARCH_ARMV7A, enumerator in enum:pi_arch
/barrelfish-master/kernel/arch/armv7/
H A Dplat_vexpress.c71 pi->arch = PI_ARCH_ARMV7A;
H A Dplat_omap44xx.c79 pi->arch = PI_ARCH_ARMV7A;
H A Dplat_zynq7.c101 pi->arch = PI_ARCH_ARMV7A;
/barrelfish-master/usr/kaluga/
H A Darmv7_startup.c191 assert(arch == PI_ARCH_ARMV7A);
267 assert(arch == PI_ARCH_ARMV7A);
H A Darmv7.c293 assert(arch == PI_ARCH_ARMV7A);
/barrelfish-master/usr/drivers/usb/usb_manager/
H A Dusb_manager.c339 if (arch == PI_ARCH_ARMV7A && platform == PI_PLATFORM_OMAP44XX) {
/barrelfish-master/usr/monitor/
H A Dmonitor_rpc_server.c629 case PI_ARCH_ARMV7A:

Completed in 40 milliseconds