CVS: cvs.openbsd.org: src

[Theo de Raadt]

CVSROOT:        /cvs
Module name:    src
Changes by:     dera...@cvs.openbsd.org 2024/07/09 05:15:58

Modified files:
        sys/arch/amd64/amd64: vmm_support.S 

Log message:
do a manual ret-clean operation inside the vmm_dispatch_intr asm code
ok mlarkin