TCBHASHSIZE
#ifndef TCBHASHSIZE
CTASSERT(powerof2(TCBHASHSIZE));
int hashsize = TCBHASHSIZE, portinfo_hsize;
hashsize = TCBHASHSIZE; /* safe default */