VOID APIENTRY KernUnserialize16BitDD(VOID);
This releases a special kernel spinlock.
None.
See comments for KernSerialize16BitDD. This apparently needs to be called after returning from a 16 bit driver.