Constant TEEC_ERROR_BAD_STATE

pub const TEEC_ERROR_BAD_STATE: uint32_t = 0xFFFF0007;