vmm(4): expose PKU cpuid bit if in use on host.
authordv <dv@openbsd.org>
Mon, 30 Jan 2023 14:05:36 +0000 (14:05 +0000)
committerdv <dv@openbsd.org>
Mon, 30 Jan 2023 14:05:36 +0000 (14:05 +0000)
commitef14a9e8cae106563ff9ce15d913365f9ad3fa0e
tree2cc96e82784fd075e00020c93b51ceda71c5470f
parent02812bf265866e7306c91eb9890f2e3e877a4184
vmm(4): expose PKU cpuid bit if in use on host.

We are using {rd,wr}pkru instructions for saving and restoring the
PKRU, so tie the exposure of PKU feature bit to vmm having the
ability to properly handle the guest state.
sys/arch/amd64/amd64/vmm.c