pub const PR_GET_THP_DISABLE: u32 = 42; // 42u32