NDFDFILE
KASSERT(fd >= NDFDFILE || ff == (fdfile_t *)fdp->fd_dfdfile[fd]);
KASSERT(fd >= NDFDFILE || ff == (fdfile_t *)fdp->fd_dfdfile[fd]);
for (fd = 0; fd < NDFDFILE; fd++) {
for (fd = NDFDFILE; fd < NDFILE; fd++) {
for (i = 0, ffp = fdp->fd_dt->dt_ff; i < NDFDFILE; i++, ffp++) {
for (i = 0; i < NDFDFILE; i++) {
for (i = 0; i < NDFDFILE; i++) {
for (i = NDFDFILE; i < NDFILE; i++) {
NDFDFILE * sizeof(fdfile_t **));
memset(newdt->dt_ff + NDFDFILE, 0,
(i - NDFDFILE) * sizeof(fdfile_t **));
KASSERT(i >= NDFDFILE ||
if (i >= NDFDFILE) {
KASSERT(fd >= NDFDFILE ||
if (fd >= NDFDFILE) {
memset(&fdp->fd_dtbuiltin.dt_ff[NDFDFILE], 0,
(NDFILE - NDFDFILE) * sizeof(fdp->fd_dtbuiltin.dt_ff[0]));
KASSERT(fd >= NDFDFILE);
KASSERT(fd >= NDFDFILE ||
if (fd < NDFDFILE) {
KASSERT(fd >= NDFDFILE || ff == (fdfile_t *)fdp->fd_dfdfile[fd]);
KASSERT(fd >= NDFDFILE || ff == (fdfile_t *)fdp->fd_dfdfile[fd]);
KASSERT(fd >= NDFDFILE || ff == (fdfile_t *)fdp->fd_dfdfile[fd]);
KASSERT(newfd >= NDFDFILE);
KASSERT(i >= NDFDFILE);
KASSERT(i >= NDFDFILE ||
KASSERT(i >= NDFDFILE ||
KASSERT(fd >= NDFDFILE);
KASSERT(fd >= NDFDFILE ||
uint8_t fd_dfdfile[NDFDFILE][FDFILE_SIZE];