id                 67 kernel/proc.c    int id = r_tp();
id                 68 kernel/proc.c    return id;
id                 76 kernel/proc.c    int id = cpuid();
id                 77 kernel/proc.c    struct cpu *c = &cpus[id];
id                 47 kernel/start.c   int id = r_mhartid();
id                 48 kernel/start.c   w_tp(id);
id                 76 kernel/virtio.h   uint32 id; // index of start of completed descriptor chain
id                320 kernel/virtio_disk.c     int id = disk.used->ring[disk.used_idx % NUM].id;
id                322 kernel/virtio_disk.c     if (disk.info[id].status != 0)
id                325 kernel/virtio_disk.c     struct buf *b = disk.info[id].b;