Constant TEE_OPERATION_STATE_INITIAL 

pub const TEE_OPERATION_STATE_INITIAL: u32 = 0x00000000;