VxDCall service id 0x0010 provides int24 dispatch functionality and VxDCall service id 0x002a provides int41 dispatch functionality.
All of these services together with existing service id 0x0029 (for int31/dpmi functionality) have same API, first VxDCall() argument is value for EAX register and second argument is value for ECX register.