MAX_INAME_LENGTH
extern char intrnames[MAX_INAME_LENGTH];
KASSERT(MAX_INAME_LENGTH <=
memcpy(intrnames, inames, MAX_INAME_LENGTH);