bcm2835_free_vchi_ctx
bcm2835_free_vchi_ctx(vchi_ctx);
void bcm2835_free_vchi_ctx(struct bcm2835_vchi_ctx *vchi_ctx);