Sync with trunk (r47116), hopefully without breaking anything.
[reactos.git] / ntoskrnl / ke / i386 / v86vdm.c