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

/barrelfish-master/include/barrelfish_kpi/
H A Dplatform.h37 PI_PLATFORM_APM88XXXX, enumerator in enum:pi_platform
/barrelfish-master/kernel/arch/armv8/
H A Dplat_apm88xxxx.c111 pi->platform = PI_PLATFORM_APM88XXXX;
/barrelfish-master/usr/kaluga/
H A Darmv8.c166 case PI_PLATFORM_APM88XXXX:

Completed in 94 milliseconds