Constant TEEC_ERROR_BUSY

pub const TEEC_ERROR_BUSY: uint32_t = 0xFFFF000D;