Intel and AMD use different cpuid bits for MSR_PRED_CMD IBPB
authorjsg <jsg@openbsd.org>
Mon, 12 Feb 2024 02:57:14 +0000 (02:57 +0000)
committerjsg <jsg@openbsd.org>
Mon, 12 Feb 2024 02:57:14 +0000 (02:57 +0000)
commit1adcc54fab8fde334a25d1b100ff42513ad93b2d
tree8cf18d469271de95172271745bbc0d5613533f9e
parent6cbac32f9ea2203a6cfb69c3648aeb36e7aff937
Intel and AMD use different cpuid bits for MSR_PRED_CMD IBPB
ok guenther@
sys/arch/amd64/amd64/cpu.c
sys/arch/amd64/amd64/vmm_machdep.c