ID                 51 lapic.c          lapic[ID];  // wait for write to finish, by reading
ID                105 lapic.c          return lapic[ID] >> 24;