/kernel/arch/arm/plat-versatile/include/plat/