RTIT_CTL_TRACEEN
KASSERT((rdmsr(MSR_IA32_RTIT_CTL) & RTIT_CTL_TRACEEN) != 0,
KASSERT((rdmsr(MSR_IA32_RTIT_CTL) & RTIT_CTL_TRACEEN) == 0,
pt_ext->rtit_ctl |= RTIT_CTL_TRACEEN;