VOID APIENTRY KernThunkStackTo32(VOID);
This will convert a 16:16 SS:SP back to the 16:32 SS:ESP convention.
None.
This is supposedly to be called after returning from 16 bit code.