VIRTIO0_IRQ        16 kernel/plic.c    *(uint32 *)(PLIC + VIRTIO0_IRQ * 4) = 1;
VIRTIO0_IRQ        26 kernel/plic.c    *(uint32 *)PLIC_SENABLE(hart) = (1 << UART0_IRQ) | (1 << VIRTIO0_IRQ);
VIRTIO0_IRQ       200 kernel/trap.c      } else if (irq == VIRTIO0_IRQ) {