1#![cfg_attr(not(feature = "std"), no_std)]
19#![allow(non_camel_case_types, non_snake_case)]
20#![cfg_attr(doc, doc = concat!(
21 env!("CARGO_PKG_DESCRIPTION"),
22 "\n",
23 "## Feature flags\n",
24 document_features::document_features!(),
25))]
26
27pub use tee_api::api::*;
28pub use tee_api_defines::*;
29pub use tee_api_types::*;
30pub use tee_internal_api_extensions::api::*;
31pub use tee_ipsocket::*;
32pub use tee_isocket::*;
33pub use tee_tcpsocket::*;
34pub use tee_udpsocket::*;
35pub use trace::*;
36pub use user_ta_header::*;
37pub use utee_syscalls::*;
38pub use utee_types::*;
39
40mod tee_api;
41mod tee_api_defines;
42mod tee_api_types;
43mod tee_internal_api_extensions;
44mod tee_ipsocket;
45mod tee_isocket;
46mod tee_tcpsocket;
47mod tee_udpsocket;
48mod trace;
49mod user_ta_header;
50mod utee_syscalls;
51mod utee_types;
52
53pub type size_t = usize;
54pub type intmax_t = i64;
56
57#[cfg(feature = "mock")]
58pub mod mock_api {
59 pub use crate::tee_api::mock_api::*;
60 pub mod extension {
61 pub use crate::tee_internal_api_extensions::mock_api::*;
62 }
63}
64
65#[cfg(feature = "mock")]
66pub mod mock_utils;