DTMAXFUNCARGS
KASSERT((argsize / sizeof(register_t)) <= DTMAXFUNCARGS);
register_t E_entry[DTMAXFUNCARGS];