bug23753 205 B

1234
  1. o Minor features (logging, scheduler):
  2. - Introduce a SCHED_BUG() function to log extra information about the
  3. scheduler state if we ever catch a bug in the scheduler. Closes ticket
  4. 23753.