#![allow(
non_camel_case_types,
non_snake_case,
ambiguous_glob_reexports
)]
pub mod api;
pub mod user_ta_header;
pub mod syscalls;
pub mod tee_api_defines;
pub mod tee_api_types;
pub mod trace;
pub mod utee_types;
#[macro_use]
mod macros;
pub use tee_api_defines::*;
pub use tee_api_types::*;
pub use trace::*;
pub use user_ta_header::*;
pub use utee_types::*;
pub use api::tee_api_arith_mpi::*;
pub use api::tee_api_cancel::*;
pub use api::tee_api_internal_client::*;
pub use api::tee_api_mm::*;
pub use api::tee_api_objects::*;
pub use api::tee_api_operations::*;
pub use api::tee_api_panic::*;
pub use api::tee_api_property::*;
pub use api::tee_api_time::*;
pub use syscalls::syscall_table::*;
mod libc_compat {
pub type size_t = usize;
#[allow(dead_code)]
pub type intmax_t = i64;
}