CVSROOT: /cvs Module name: src Changes by: bl...@cvs.openbsd.org 2025/04/29 07:21:52
Modified files:
sys/arch/amd64/amd64: vmm_machdep.c
Log message:
vmm(4) must not use 0 as minimum ASID for AMD SEV.
If SEV-ES is not supported by CPU, vmm(4) could end up using 0 as
minimum ASID. In this case, 1 has to be used.
regression found and tested by Jesper Wallin; fixed with hshoexer@
