rump_hyperfree
void rump_hyperfree(void *, size_t);
rump_hyperfree(uprw, sizeof(*uprw));
rump_hyperfree(upm, sizeof(*upm));
rump_hyperfree(bp->b_data, len);
rump_hyperfree(pg->uanon, PAGE_SIZE);
rump_hyperfree((void*)start, end-start);
rump_hyperfree((void *)addr, size);
rump_hyperfree(bp->b_data, len);
rump_hyperfree(rn->rn_data, rn->rn_dlen);
rump_hyperfree(rn->rn_data, newlen);
rump_hyperfree(olddata, oldlen);
rump_hyperfree(rn->rn_data, rn->rn_dlen);
rump_hyperfree(rn->rn_data, rn->rn_dlen);