SCDEBUG_KERNHIST_SIZE
#ifndef SCDEBUG_KERNHIST_SIZE
KERNHIST_INIT(scdebughist, SCDEBUG_KERNHIST_SIZE);