fxdpent_t
fxdpent_t *fx_dptbl;
fxdpsz = fxadmin.fx_ndpents * sizeof (fxdpent_t);
if ((fx_dptbl = (fxdpent_t *)malloc(fxdpsz)) == NULL)
fxdpent_t *fx_dptbl;
(fxdpent_t *)malloc(nfxdpents * sizeof (fxdpent_t))) == NULL)
static fxdpent_t *fx_dptbl; /* fixed priority disp parameter table */
extern fxdpent_t *fx_getdptbl(void);
fxdpent_t *tmpdpp;
fxdpsz = (fx_maxumdpri + 1) * sizeof (fxdpent_t);
userdpsz = MIN(fxadmin.fx_ndpents * sizeof (fxdpent_t),
fxadmin.fx_ndpents = userdpsz / sizeof (fxdpent_t);
if (fxadmin.fx_ndpents * sizeof (fxdpent_t) != fxdpsz) {
pri_t config_fx_maxumdpri = sizeof (config_fx_dptbl) / sizeof (fxdpent_t) - 1;
fxdpent_t *
fxdpent_t config_fx_dptbl[] = {