HomeFreeBSD

x86_msr_op: extend the KPI to allow MSR read and single-CPU operations