Type Definition sgx_types::uint16_t

type uint16_t = u16;