DF2777-SC2: calling sched_ithd_soft(255) while i_state=NORMAL/i_thread=NULL
Fatal user address access from kernel mode from sysctl at ffffffff80620c5f


Fatal trap 12: page fault while in kernel mode
cpuid = 2; lapic id = 2
fault virtual address	= 0xb8
fault code		= supervisor read data, page not present
instruction pointer	= 0x8:0xffffffff80620c5f
stack pointer	        = 0x10:0xfffff8011771f770
frame pointer	        = 0x10:0xfffff8011771f798
code segment		= base 0x0, limit 0xfffff, type 0x1b
			= DPL 0, pres 1, long 0, def32 0, gran 1
processor eflags	= interrupt enabled, resume, IOPL = 0
current process		= 820
current thread          = pri 10 
kernel: type 12 trap, code=0

CPU2 stopping CPUs: 0x0000003b
 stopped
Stopped at      sched_ithd_intern+0x1f: movq    0xb8(%rdx),%r8
db>