stackinfo_get_overflow_kern_va
stackinfo_get_overflow_kern_va(),
stack_kern = stackinfo_get_overflow_kern_va();