Constant optee_utee_sys::TEE_OPERATION_STATE_INITIAL

pub const TEE_OPERATION_STATE_INITIAL: u32 = 0x00000000;