Type Alias optee_utee_sys::TEE_BigInt

pub type TEE_BigInt = u32;