anchor.diff:  (defconstant +vbe-dispi-ioport-index+          #x01CE)
   (defconstant +vbe-dispi-ioport-data+           #x01CF)
   
  -(defconstant +vbe-dispi-index-id+              0)
  -(defconstant +vbe-dispi-index-xres+            1)
  -(defconstant +vbe-dispi-index-yres+            2)
  -(defconstant +vbe-dispi-index-bpp+             3)
  -(defconstant +vbe-dispi-index-enable+          4)
  -(defconstant +vbe-dispi-index-bank+            5)
  -(defconstant +vbe-dispi-index-virt-width+      6)
  -(defconstant +vbe-dispi-index-virt-height+     7)
  -(defconstant +vbe-dispi-index-x-offset+        8)
  -(defconstant +vbe-dispi-index-y-offset+        9)
  -(defconstant +vbe-dispi-index-video-memory+    10)
  +(defconstant +vbe-dispi-index-id+              0) ; id0
  +(defconstant +vbe-dispi-index-xres+            1) ; id0
  +(defconstant +vbe-dispi-index-yres+            2) ; id0
  +(defconstant +vbe-dispi-index-bpp+             3) ; id0
  +(defconstant +vbe-dispi-index-enable+          4) ; id0
  +(defconstant +vbe-dispi-index-bank+            5) ; id0
  +(defconstant +vbe-dispi-index-virt-width+      6) ; id1
  +(defconstant +vbe-dispi-index-virt-height+     7) ; id1
  +(defconstant +vbe-dispi-index-x-offset+        8) ; id1
  +(defconstant +vbe-dispi-index-y-offset+        9) ; id1
  +(defconstant +vbe-dispi-index-video-memory+    10) ; id5
   
   (defconstant +vbe-dispi-id0+                   #xB0C0)
   (defconstant +vbe-dispi-id1+                   #xB0C1)
  
positive.code: (defconstant +vbe-dispi-id4+                   #xB0C4)
  (defconstant +vbe-dispi-id5+                   #xB0C5)
  
  (defconstant +vbe-dispi-disabled+              #x00)
  (defconstant +vbe-dispi-enabled+               #x01)
  (defconstant +vbe-dispi-getcaps+               #x02)
  (defconstant +vbe-dispi-8bit-dac+              #x20)
  (defconstant +vbe-dispi-lfb-enabled+           #x40)
  (defconstant +vbe-dispi-noclearmem+            #x80)
  
  (defconstant +vbe-dispi-lfb-physical-address+  #xE0000000)
  (defvar *bochs-vbe-framebuffer-address* nil)
  
  (defun write-vbe-reg (index value)
    (setf (io-port/16 +vbe-dispi-ioport-index+) index
  
negative.code:   (write-vbe-reg +vbe-dispi-index-xres+ xres)
    (write-vbe-reg +vbe-dispi-index-yres+ yres)
    (write-vbe-reg +vbe-dispi-index-bpp+ bpp)
    (write-vbe-reg +vbe-dispi-index-enable+ (logior +vbe-dispi-enabled+ +vbe-dispi-lfb-enabled+))
    (write-vbe-reg +vbe-dispi-index-y-offset+ 0))
  
  (defun pci-get-lfb-addr (vendor-id device-id)
    (dolist (dev *pci-devices*)
  