dt_inttab_write
dt_inttab_write(pcb->pcb_inttab, dp->dtdo_inttab);
extern void dt_inttab_write(const dt_inttab_t *, uint64_t *);