Searched refs:PI_PLATFORM_ZYNQ7 (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/include/barrelfish_kpi/
H A Dplatform.h35 PI_PLATFORM_ZYNQ7, enumerator in enum:pi_platform
/barrelfish-master/kernel/arch/armv7/
H A Dplat_zynq7.c102 pi->platform = PI_PLATFORM_ZYNQ7;
/barrelfish-master/usr/kaluga/
H A Darmv7.c343 case PI_PLATFORM_ZYNQ7:

Completed in 28 milliseconds