71bb26394a
implementation. Add necessary padding and. * descr.h (struct pthread): Increase padding for tcbhead_t to 24 words.