Constant TEEC_ERROR_BUSY 

pub const TEEC_ERROR_BUSY: u32 = 0xFFFF000D;