fc_uint32_t2cell
fc_result(cp, 0) = fc_uint32_t2cell(ba->config_address); /* phys.hi */
fc_result(cp, 0) = fc_uint32_t2cell(c.dmac_address); /* XXX size */
case sizeof (l): fc_result(cp, 0) = fc_uint32_t2cell(l); break;
case sizeof (l): fc_result(cp, 0) = fc_uint32_t2cell(l); break;
case sizeof (l): fc_result(cp, 0) = fc_uint32_t2cell(l); break;