dpcpu_free
dpcpu_free((void *)ef->pcpu_base,
dpcpu_free(ef->progtab[i].addr,
struct dpcpu_free *df;
struct dpcpu_free *df;
struct dpcpu_free *df;
struct dpcpu_free *dn;
TAILQ_ENTRY(dpcpu_free) df_link;
static TAILQ_HEAD(, dpcpu_free) dpcpu_head = TAILQ_HEAD_INITIALIZER(dpcpu_head);
void dpcpu_free(void *s, int size);