VIRTIO0            20 kernel/virtio_disk.c #define R(r) ((volatile uint32 *)(VIRTIO0 + (r)))
VIRTIO0            31 kernel/vm.c      kvmmap(kpgtbl, VIRTIO0, VIRTIO0, PGSIZE, PTE_R | PTE_W);