Fix off-by-one: SEFF0ECX_WAITPKG is bit 5, not bit 4.
authorguenther <guenther@openbsd.org>
Thu, 27 Jul 2023 16:33:56 +0000 (16:33 +0000)
committerguenther <guenther@openbsd.org>
Thu, 27 Jul 2023 16:33:56 +0000 (16:33 +0000)
commita1001807d6e8ff13bba390258977d574a7c51667
tree637d884e08f39cedb6df3460e7db2be0e807f1bb
parent61f4cd73731b746d6e9ca8a3fd7836083daa5bd3
Fix off-by-one: SEFF0ECX_WAITPKG is bit 5, not bit 4.

ok mlarkin@ kettenis@ deraadt@
sys/arch/amd64/include/specialreg.h