bsd_freeblkrange
int bsd_freeblkrange(emul64_tgt_t *, emul64_range_t *);
rv = bsd_freeblkrange(tgt, &tgtr.emul64_blkrange);