Constant TEE_WHENCE_ILLEGAL_VALUE 

pub const TEE_WHENCE_ILLEGAL_VALUE: u32 = 2147483647;