xref: /optee_os/lib/libutee/include/tee_api_compat.h (revision 4f4374c8555bb3308d5d646b41df5e53c52ee7e5)