TCB_INITIAL_HASH_SIZE
#ifndef TCB_INITIAL_HASH_SIZE
in_pcbinit(&tcbtable, TCB_INITIAL_HASH_SIZE);
in_pcbinit(&tcb6table, TCB_INITIAL_HASH_SIZE);