anchor.diff:  (defun virtio-net-register (device)
     ;; Wired allocation required for the IRQ handler closure.
     (declare (sys.c::closure-allocation :wired))
  +  (debug-print-line "Detected virtio net device " device)
     (let ((nic (make-virtio-net :virtio-device device
                                 :boot-id *boot-id*)))
       (setf (virtio-net-irq-handler-function nic) (lambda (interrupt-frame irq)
  
positive.code: 
  (defun check-virtio-net-boot (nic)
    (when (not (eql (virtio-net-boot-id nic) *boot-id*))
      (throw 'nic-detached nil)))
  
  (defun virtio-net-receive-processing (nic)
  
negative.code:                                 (virtio-net-irq-handler nic)))
      (add-deferred-boot-action
       (lambda ()
         (setf (virtio-net-worker-thread nic)
               (make-thread (lambda ()
                              (virtio-net-worker nic))
                            :name "Virtio-Net NIC worker"))))))
  
  (defun virtio-net-worker (nic)
    (catch 'nic-detached
  