Bug Report

CWSDPMI does not work with VCPI servers using stacks with ESP upper bits set

Summary:

On VCPI servers which mode switch using ESP upper bits, CWSDPMI does not
clear those bits when swapping to it's own stack.  The only known VCPI
servers with this feature are free software in development.

Analysis:

CWSDPMI should load ESP instead of SP around line 151 of MSWITCH.

Workarounds:

Use the 2008 r5 refresh, or r6 test release.