Documentation ordinal fixes.

diff --git a/msdos/dpmi.c b/msdos/dpmi.c
index 20906f9..7e74cea 100644
--- a/msdos/dpmi.c
+++ b/msdos/dpmi.c
@@ -711,7 +711,7 @@
 
 
 /**********************************************************************
- *	    INT_Int31Handler
+ *	    INT_Int31Handler (WPROCS.149)
  *
  * Handler for int 31h (DPMI).
  */
diff --git a/msdos/int10.c b/msdos/int10.c
index f693e27..e0e1783 100644
--- a/msdos/int10.c
+++ b/msdos/int10.c
@@ -34,7 +34,7 @@
 }
 
 /**********************************************************************
- *	    INT_Int10Handler
+ *	    INT_Int10Handler (WPROCS.116)
  *
  * Handler for int 10h (video).
  * 
diff --git a/msdos/int11.c b/msdos/int11.c
index 611aea7..708a1ba 100644
--- a/msdos/int11.c
+++ b/msdos/int11.c
@@ -14,7 +14,7 @@
 #include "options.h"
 
 /**********************************************************************
- *	    INT_Int11Handler
+ *	    INT_Int11Handler (WPROCS.117)
  *
  * Handler for int 11h (get equipment list).
  */
diff --git a/msdos/int12.c b/msdos/int12.c
index 2fd7e1c..1ba5e89 100644
--- a/msdos/int12.c
+++ b/msdos/int12.c
@@ -5,7 +5,7 @@
 #include "miscemu.h"
 
 /**********************************************************************
- *	    INT_Int12Handler
+ *	    INT_Int12Handler (WPROCS.118)
  *
  * Handler for int 12h (get memory size).
  */
diff --git a/msdos/int13.c b/msdos/int13.c
index 3a39463..dd5fe89 100644
--- a/msdos/int13.c
+++ b/msdos/int13.c
@@ -18,7 +18,7 @@
 DEFAULT_DEBUG_CHANNEL(int);
 
 /**********************************************************************
- *	    INT_Int13Handler
+ *	    INT_Int13Handler (WPROCS.119)
  *
  * Handler for int 13h (disk I/O).
  */
diff --git a/msdos/int15.c b/msdos/int15.c
index c8c183a..9e7468c 100644
--- a/msdos/int15.c
+++ b/msdos/int15.c
@@ -10,7 +10,7 @@
 
 
 /**********************************************************************
- *	    INT_Int15Handler
+ *	    INT_Int15Handler (WPROCS.121)
  *
  * Handler for int 15h
  */
diff --git a/msdos/int1a.c b/msdos/int1a.c
index 6adf068..278874a 100644
--- a/msdos/int1a.c
+++ b/msdos/int1a.c
@@ -39,7 +39,7 @@
 
 
 /**********************************************************************
- *	    INT_Int1aHandler
+ *	    INT_Int1aHandler (WPROCS.126)
  *
  * Handler for int 1ah 
  *     0x00 - 0x07 - date and time
diff --git a/msdos/int20.c b/msdos/int20.c
index 116230c..9964033 100644
--- a/msdos/int20.c
+++ b/msdos/int20.c
@@ -10,7 +10,7 @@
 #include "callback.h"
 
 /**********************************************************************
- *	    INT_Int20Handler
+ *	    INT_Int20Handler (WPROCS.132)
  *
  * Handler for int 20h.
  */
diff --git a/msdos/int25.c b/msdos/int25.c
index 24022ca..a60cc2b 100644
--- a/msdos/int25.c
+++ b/msdos/int25.c
@@ -15,7 +15,7 @@
 
 
 /**********************************************************************
- *	    INT_Int25Handler
+ *	    INT_Int25Handler (WPROCS.137)
  *
  * Handler for int 25h (absolute disk read).
  */
diff --git a/msdos/int26.c b/msdos/int26.c
index df861df..df5be26 100644
--- a/msdos/int26.c
+++ b/msdos/int26.c
@@ -13,7 +13,7 @@
 DEFAULT_DEBUG_CHANNEL(int);
 
 /**********************************************************************
- *	    INT_Int26Handler
+ *	    INT_Int26Handler (WPROCS.138)
  *
  * Handler for int 26h (absolute disk read).
  */
diff --git a/msdos/int2a.c b/msdos/int2a.c
index e49a0dc..fe8e5ce 100644
--- a/msdos/int2a.c
+++ b/msdos/int2a.c
@@ -10,7 +10,7 @@
 DEFAULT_DEBUG_CHANNEL(int);
 
 /**********************************************************************
- *	    INT_Int2aHandler
+ *	    INT_Int2aHandler (WPROCS.142)
  *
  * Handler for int 2ah (network).
  */
diff --git a/msdos/int2f.c b/msdos/int2f.c
index a82a501..721fa95 100644
--- a/msdos/int2f.c
+++ b/msdos/int2f.c
@@ -27,7 +27,7 @@
 static void MSCDEX_Handler( CONTEXT86 *context );
 
 /**********************************************************************
- *	    INT_Int2fHandler
+ *	    INT_Int2fHandler (WPROCS.147)
  *
  * Handler for int 2fh (multiplex).
  */
diff --git a/msdos/int3d.c b/msdos/int3d.c
index 90d9ba3..90420d9 100644
--- a/msdos/int3d.c
+++ b/msdos/int3d.c
@@ -11,7 +11,7 @@
 DEFAULT_DEBUG_CHANNEL(int);
 
 /**********************************************************************
- *          INT_Int3dHandler
+ *          INT_Int3dHandler (WPROCS.161)
  *
  * Handler for int 3d (FLOATING POINT EMULATION - STANDALONE FWAIT).
  */
diff --git a/msdos/int41.c b/msdos/int41.c
index 905218a..cba7337 100644
--- a/msdos/int41.c
+++ b/msdos/int41.c
@@ -11,7 +11,7 @@
 DEFAULT_DEBUG_CHANNEL(int);
 
 /***********************************************************************
- *           INT_Int41Handler
+ *           INT_Int41Handler (WPROCS.165)
  *
  */
 void WINAPI INT_Int41Handler( CONTEXT86 *context )
diff --git a/msdos/int4b.c b/msdos/int4b.c
index 64215e9..0943224 100644
--- a/msdos/int4b.c
+++ b/msdos/int4b.c
@@ -9,7 +9,7 @@
 DEFAULT_DEBUG_CHANNEL(int);
 
 /***********************************************************************
- *           INT_Int4bHandler
+ *           INT_Int4bHandler (WPROCS.175)
  *
  */
 void WINAPI INT_Int4bHandler( CONTEXT86 *context )
diff --git a/msdos/interrupts.c b/msdos/interrupts.c
index cea83b4..d630758 100644
--- a/msdos/interrupts.c
+++ b/msdos/interrupts.c
@@ -184,7 +184,7 @@
 
 
 /**********************************************************************
- *         INT_DefaultHandler
+ *         INT_DefaultHandler (WPROCS.356)
  *
  * Default interrupt handler.
  */
diff --git a/msdos/vxd.c b/msdos/vxd.c
index a4a35c6..f8640ae 100644
--- a/msdos/vxd.c
+++ b/msdos/vxd.c
@@ -42,7 +42,7 @@
 }
 
 /***********************************************************************
- *           VXD_VMM
+ *           VXD_VMM (WPROCS.401)
  */
 void WINAPI VXD_VMM ( CONTEXT86 *context )
 {
@@ -69,7 +69,7 @@
 }
 
 /***********************************************************************
- *           VXD_PageFile
+ *           VXD_PageFile (WPROCS.433)
  */
 void WINAPI VXD_PageFile( CONTEXT86 *context )
 {
@@ -115,7 +115,7 @@
 }
 
 /***********************************************************************
- *           VXD_Reboot
+ *           VXD_Reboot (WPROCS.409)
  */
 void WINAPI VXD_Reboot ( CONTEXT86 *context )
 {
@@ -136,7 +136,7 @@
 }
 
 /***********************************************************************
- *           VXD_VDD
+ *           VXD_VDD (WPROCS.410)
  */
 void WINAPI VXD_VDD ( CONTEXT86 *context )
 {
@@ -157,7 +157,7 @@
 }
 
 /***********************************************************************
- *           VXD_VMD
+ *           VXD_VMD (WPROCS.412)
  */
 void WINAPI VXD_VMD ( CONTEXT86 *context )
 {
@@ -178,7 +178,7 @@
 }
 
 /***********************************************************************
- *           VXD_VXDLoader
+ *           VXD_VXDLoader (WPROCS.439)
  */
 void WINAPI VXD_VXDLoader( CONTEXT86 *context )
 {
@@ -220,7 +220,7 @@
 }
 
 /***********************************************************************
- *           VXD_Shell
+ *           VXD_Shell (WPROCS.423)
  */
 void WINAPI VXD_Shell( CONTEXT86 *context )
 {
@@ -313,7 +313,7 @@
 
 
 /***********************************************************************
- *           VXD_Comm
+ *           VXD_Comm (WPROCS.414)
  */
 void WINAPI VXD_Comm( CONTEXT86 *context )
 {
@@ -338,7 +338,7 @@
 }
 
 /***********************************************************************
- *           VXD_Timer
+ *           VXD_Timer (WPROCS.405)
  */
 void WINAPI VXD_Timer( CONTEXT86 *context )
 {
@@ -371,7 +371,7 @@
 }
 
 /***********************************************************************
- *           VXD_TimerAPI
+ *           VXD_TimerAPI (WPROCS.1490)
  */
 static DWORD System_Time = 0;
 static WORD  System_Time_Selector = 0;
@@ -406,7 +406,7 @@
 }
 
 /***********************************************************************
- *           VXD_ConfigMG
+ *           VXD_ConfigMG (WPROCS.451)
  */
 void WINAPI VXD_ConfigMG ( CONTEXT86 *context )
 {
@@ -427,7 +427,7 @@
 }
 
 /***********************************************************************
- *           VXD_Enable
+ *           VXD_Enable (WPROCS.455)
  */
 void WINAPI VXD_Enable ( CONTEXT86 *context )
 {
@@ -448,7 +448,7 @@
 }
 
 /***********************************************************************
- *           VXD_APM
+ *           VXD_APM (WPROCS.438)
  */
 void WINAPI VXD_APM ( CONTEXT86 *context )
 {
@@ -469,7 +469,7 @@
 }
 
 /***********************************************************************
- *           VXD_Win32s
+ *           VXD_Win32s (WPROCS.445)
  *
  * This is an implementation of the services of the Win32s VxD.
  * Since official documentation of these does not seem to be available,