Constant TEE_OPERATION_STATE_INITIAL

pub const TEE_OPERATION_STATE_INITIAL: u32 = 0;