Constant TEE_WHENCE_ILLEGAL_VALUE 

pub const TEE_WHENCE_ILLEGAL_VALUE: u32 = 0x7FFFFFFF;