pub const TEE_MODE_ILLEGAL_VALUE: u32 = 2147483647;