[Tee-dev] [RFC PATCH 1/6] firmware: helper functions for SMCCC v1.0 invocation conduit