x86: Add Intel TD/HFI related MSR/CPUID defines to specialregs.h
for the coredirector driver.
MFC after: 1 week
Differential revision: https://reviews.freebsd.org/D44453
x86: Add Intel TD/HFI related MSR/CPUID defines to specialregs.h Tags None Referenced Files None Subscribers None
Description
Details
|