pub const PT_HIOS: u32 = 0x6fffffff;
Values between [PT_LOOS, PT_HIOS] in this inclusive range are reserved for operating system-specific semantics.