coremsg.c:86
schedulerpriorityyield.c:51