Int 20  P - Microsoft Windows - Vmcpd - Vxd Services                       [W]

   VxD = 0011h

Note:  the desired VxD and service number are identified by the data
     immediately following the INT 20 instruction, as in:
       INT 20h
       DW  service number
       DW  VxD identifier

See Also: INT 2F/AX=1684h"DEVICE API",INT 30"Windows",#0961,#1032

(Table 0975)
Values for VMCPD (VxD ID 0011h) service number:
 0000h "VMCPD_Get_Version"
 0001h "VMCPD_Get_Virt_State"
 0002h "VMCPD_Set_Virt_State"
 0003h "VMCPD_Get_CR0_State"
 0004h "VMCPD_Set_CR0_State"
 0005h "VMCPD_Get_Thread_State"
 0006h "VMCPD_Set_Thread_State"
 0007h "_VMCPD_Get_FP_Instruction_Size"
 0008h "VMCPD_Set_Thread_Precision"

See Also: #0974,#0976,#2329