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

/barrelfish-master/kernel/arch/armv8/
H A Dplat_arm_vm.c82 pi->platform = PI_PLATFORM_FVP;
/barrelfish-master/include/barrelfish_kpi/
H A Dplatform.h38 PI_PLATFORM_FVP, enumerator in enum:pi_platform
/barrelfish-master/usr/kaluga/
H A Darmv8.c160 case PI_PLATFORM_FVP:

Completed in 31 milliseconds