Constant PR_GET_TSC

const PR_GET_TSC: c_int = 25;