Searched refs:PI_PLATFORM_VEXPRESS (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/include/barrelfish_kpi/
H A Dplatform.h34 PI_PLATFORM_VEXPRESS, enumerator in enum:pi_platform
/barrelfish-master/kernel/arch/armv7/
H A Dplat_vexpress.c72 pi->platform = PI_PLATFORM_VEXPRESS;
/barrelfish-master/usr/kaluga/
H A Darmv7_startup.c198 case PI_PLATFORM_VEXPRESS:
274 case PI_PLATFORM_VEXPRESS:
H A Darmv7.c340 case PI_PLATFORM_VEXPRESS:

Completed in 40 milliseconds