review.trustedfirmware.org / sandbox / pfalcon / trusted-firmware-a / 02956560a281eec4e9b49451f1b47369304a84b4 / plat / arm / css / drivers / scmi / scmi.h