_report_rangecheckfailure

void __noreturn _report_rangecheckfailure(){
  KeBugCheckEx(0xF7u, 8ui64, _security_cookie, _security_cookie_complement, 0i64);
}

Referenced by: