6592 /* s: kernel preemption pending */