1 // Licensed to the Apache Software Foundation (ASF) under one 2 // or more contributor license agreements. See the NOTICE file 3 // distributed with this work for additional information 4 // regarding copyright ownership. The ASF licenses this file 5 // to you under the Apache License, Version 2.0 (the 6 // "License"); you may not use this file except in compliance 7 // with the License. You may obtain a copy of the License at 8 // 9 // http://www.apache.org/licenses/LICENSE-2.0 10 // 11 // Unless required by applicable law or agreed to in writing, 12 // software distributed under the License is distributed on an 13 // "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY 14 // KIND, either express or implied. See the License for the 15 // specific language governing permissions and limitations 16 // under the License. 17 18 #![cfg_attr(not(feature = "std"), no_std)] 19 #![feature(c_size_t)] 20 #![allow(non_camel_case_types, non_snake_case)] 21 22 pub use tee_api::*; 23 pub use tee_api_defines::*; 24 pub use tee_api_types::*; 25 pub use tee_internal_api_extensions::*; 26 pub use tee_isocket::*; 27 pub use tee_tcpsocket::*; 28 pub use tee_udpsocket::*; 29 pub use tee_ipsocket::*; 30 pub use trace::*; 31 pub use user_ta_header::*; 32 pub use utee_syscalls::*; 33 pub use utee_types::*; 34 35 mod tee_api; 36 mod tee_api_defines; 37 mod tee_api_types; 38 mod tee_internal_api_extensions; 39 mod tee_isocket; 40 mod tee_tcpsocket; 41 mod tee_udpsocket; 42 mod trace; 43 mod user_ta_header; 44 mod utee_syscalls; 45 mod utee_types; 46 mod tee_ipsocket; 47