pub const TSC_CR_PGPSC_0: u32 = 4096;