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