arm-trusted-firmware/plat/arm/board/tc0/include/tc0_plat.h