bcm2835_free_vchi_ctx 31 drivers/staging/vc04_services/bcm2835-audio/bcm2835.c bcm2835_free_vchi_ctx(vchi_ctx); bcm2835_free_vchi_ctx 95 drivers/staging/vc04_services/bcm2835-audio/bcm2835.h void bcm2835_free_vchi_ctx(struct bcm2835_vchi_ctx *vchi_ctx);