virtio_disk_intr  186 kernel/defs.h  void            virtio_disk_intr(void);
virtio_disk_intr  198 kernel/trap.c        virtio_disk_intr();