arm-trusted-firmware/include/drivers/brcm/scp.h