hva_dbg_ctx_remove 1259 drivers/media/platform/sti/hva/hva-v4l2.c 	hva_dbg_ctx_remove(ctx);
hva_dbg_ctx_remove  404 drivers/media/platform/sti/hva/hva.h void hva_dbg_ctx_remove(struct hva_ctx *ctx);