DFL_COPYIN_MAX_EXTS
ASSERT3U(dfl->dfl_num_exts, <=, DFL_COPYIN_MAX_EXTS);
if (dfl->dfl_num_exts > DFL_COPYIN_MAX_EXTS) {
} else if (dfl->dfl_num_exts > DFL_COPYIN_MAX_EXTS) {
ASSERT3U(dfl->dfl_num_exts, <=, DFL_COPYIN_MAX_EXTS);
dfl_in->dfl_num_exts > DFL_COPYIN_MAX_EXTS)
if (num_exts == 0 || num_exts > DFL_COPYIN_MAX_EXTS)