Constant TEE_ERROR_BAD_STATE

pub const TEE_ERROR_BAD_STATE: u32 = 4294901767;