UUID identifiers are used to identify the TEE Operating System and individual Trusted
Applications. This structure matches the UUID type as defined by RFC4122.
Communication with the TEE OS and Trusted Applications is performed using opaque parameters.
These parameters can be a mix of small values (Value type) or a buffer reference (Buffer type).
A parameter will be tagged as either an input, output or both (inout).
Each operation must flow through the device driver and the trusted operating system before
reaching the trusted application (and back). The ReturnOrigin indicates which layer provided the
return code.