rtdpent_t
rtdpent_t *rt_dptbl;
rtdpsz = rtadmin.rt_ndpents * sizeof (rtdpent_t);
if ((rt_dptbl = (rtdpent_t *)malloc(rtdpsz)) == NULL)
rtdpent_t *rt_dptbl;
(rtdpent_t *)malloc(nrtdpents * sizeof (rtdpent_t))) == NULL)
rtdpent_t *rt_dptbl; /* real-time dispatcher parameter table */
extern rtdpent_t *rt_getdptbl(void);
rtdpent_t *tmpdpp;
rtdpsz = (rt_maxpri + 1) * sizeof (rtdpent_t);
userdpsz = MIN(rtadmin.rt_ndpents * sizeof (rtdpent_t),
rtadmin.rt_ndpents = userdpsz / sizeof (rtdpent_t);
if (rtadmin.rt_ndpents * sizeof (rtdpent_t) != rtdpsz)
rtdpent_t *
rtdpent_t config_rt_dptbl[] = {