virtio_disk_intr  183 kernel/defs.h  void            virtio_disk_intr(void);
virtio_disk_intr  201 kernel/trap.c        virtio_disk_intr();