CVS: cvs.openbsd.org: src

Sun, 11 Feb 2024 18:57:30 -0800 

CVSROOT:        /cvs
Module name:    src
Changes by:     [email protected]    2024/02/11 19:57:14

Modified files:
        sys/arch/amd64/amd64: cpu.c vmm_machdep.c 

Log message:
Intel and AMD use different cpuid bits for MSR_PRED_CMD IBPB
ok guenther@

Reply via email to