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                 44 kernel/start.c   int id = r_mhartid();
id                 45 kernel/start.c   w_tp(id);
id                 73 kernel/virtio.h   uint32 id;   // index of start of completed descriptor chain
id                314 kernel/virtio_disk.c     int id = disk.used->ring[disk.used_idx % NUM].id;
id                316 kernel/virtio_disk.c     if(disk.info[id].status != 0)
id                319 kernel/virtio_disk.c     struct buf *b = disk.info[id].b;