virtio_disk_intr  182 kernel/defs.h  void            virtio_disk_intr(void);
virtio_disk_intr  199 kernel/trap.c        virtio_disk_intr();