R                  68 kernel/virtio_disk.c   if(*R(VIRTIO_MMIO_MAGIC_VALUE) != 0x74726976 ||
R                  69 kernel/virtio_disk.c      *R(VIRTIO_MMIO_VERSION) != 2 ||
R                  70 kernel/virtio_disk.c      *R(VIRTIO_MMIO_DEVICE_ID) != 2 ||
R                  71 kernel/virtio_disk.c      *R(VIRTIO_MMIO_VENDOR_ID) != 0x554d4551){
R                  76 kernel/virtio_disk.c   *R(VIRTIO_MMIO_STATUS) = status;
R                  80 kernel/virtio_disk.c   *R(VIRTIO_MMIO_STATUS) = status;
R                  84 kernel/virtio_disk.c   *R(VIRTIO_MMIO_STATUS) = status;
R                  87 kernel/virtio_disk.c   uint64 features = *R(VIRTIO_MMIO_DEVICE_FEATURES);
R                  95 kernel/virtio_disk.c   *R(VIRTIO_MMIO_DRIVER_FEATURES) = features;
R                  99 kernel/virtio_disk.c   *R(VIRTIO_MMIO_STATUS) = status;
R                 102 kernel/virtio_disk.c   status = *R(VIRTIO_MMIO_STATUS);
R                 107 kernel/virtio_disk.c   *R(VIRTIO_MMIO_QUEUE_SEL) = 0;
R                 110 kernel/virtio_disk.c   if(*R(VIRTIO_MMIO_QUEUE_READY))
R                 114 kernel/virtio_disk.c   uint32 max = *R(VIRTIO_MMIO_QUEUE_NUM_MAX);
R                 131 kernel/virtio_disk.c   *R(VIRTIO_MMIO_QUEUE_NUM) = NUM;
R                 134 kernel/virtio_disk.c   *R(VIRTIO_MMIO_QUEUE_DESC_LOW) = (uint64)disk.desc;
R                 135 kernel/virtio_disk.c   *R(VIRTIO_MMIO_QUEUE_DESC_HIGH) = (uint64)disk.desc >> 32;
R                 136 kernel/virtio_disk.c   *R(VIRTIO_MMIO_DRIVER_DESC_LOW) = (uint64)disk.avail;
R                 137 kernel/virtio_disk.c   *R(VIRTIO_MMIO_DRIVER_DESC_HIGH) = (uint64)disk.avail >> 32;
R                 138 kernel/virtio_disk.c   *R(VIRTIO_MMIO_DEVICE_DESC_LOW) = (uint64)disk.used;
R                 139 kernel/virtio_disk.c   *R(VIRTIO_MMIO_DEVICE_DESC_HIGH) = (uint64)disk.used >> 32;
R                 142 kernel/virtio_disk.c   *R(VIRTIO_MMIO_QUEUE_READY) = 0x1;
R                 150 kernel/virtio_disk.c   *R(VIRTIO_MMIO_STATUS) = status;
R                 281 kernel/virtio_disk.c   *R(VIRTIO_MMIO_QUEUE_NOTIFY) = 0; // value is queue number
R                 305 kernel/virtio_disk.c   *R(VIRTIO_MMIO_INTERRUPT_ACK) = *R(VIRTIO_MMIO_INTERRUPT_STATUS) & 0x3;