Constant TEEC_ERROR_BAD_FORMAT 

pub const TEEC_ERROR_BAD_FORMAT: u32 = 0xFFFF0005;