Searched refs:PI_PLATFORM_OMAP44XX (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/include/barrelfish_kpi/
H A Dplatform.h33 PI_PLATFORM_OMAP44XX, enumerator in enum:pi_platform
/barrelfish-master/kernel/arch/armv7/
H A Dplat_omap44xx.c80 pi->platform = PI_PLATFORM_OMAP44XX;
/barrelfish-master/usr/kaluga/
H A Darmv7_startup.c195 case PI_PLATFORM_OMAP44XX:
271 case PI_PLATFORM_OMAP44XX:
H A Darmv7.c337 case PI_PLATFORM_OMAP44XX:
/barrelfish-master/usr/drivers/usb/usb_manager/
H A Dusb_manager.c339 if (arch == PI_ARCH_ARMV7A && platform == PI_PLATFORM_OMAP44XX) {

Completed in 44 milliseconds