hgsmi_buffer_free   30 drivers/gpu/drm/vboxvideo/hgsmi_base.c 	hgsmi_buffer_free(ctx, p);
hgsmi_buffer_free   56 drivers/gpu/drm/vboxvideo/hgsmi_base.c 	hgsmi_buffer_free(ctx, p);
hgsmi_buffer_free   96 drivers/gpu/drm/vboxvideo/hgsmi_base.c 	hgsmi_buffer_free(ctx, p);
hgsmi_buffer_free  168 drivers/gpu/drm/vboxvideo/hgsmi_base.c 	hgsmi_buffer_free(ctx, p);
hgsmi_buffer_free  204 drivers/gpu/drm/vboxvideo/hgsmi_base.c 	hgsmi_buffer_free(ctx, p);
hgsmi_buffer_free   50 drivers/gpu/drm/vboxvideo/modesetting.c 	hgsmi_buffer_free(ctx, p);
hgsmi_buffer_free   81 drivers/gpu/drm/vboxvideo/modesetting.c 	hgsmi_buffer_free(ctx, p);
hgsmi_buffer_free  115 drivers/gpu/drm/vboxvideo/modesetting.c 		hgsmi_buffer_free(ctx, p);
hgsmi_buffer_free  120 drivers/gpu/drm/vboxvideo/modesetting.c 	hgsmi_buffer_free(ctx, p);
hgsmi_buffer_free  179 drivers/gpu/drm/vboxvideo/vbox_drv.h void hgsmi_buffer_free(struct gen_pool *guest_pool, void *buf);
hgsmi_buffer_free  105 drivers/gpu/drm/vboxvideo/vbox_mode.c 	hgsmi_buffer_free(vbox->guest_pool, p);
hgsmi_buffer_free   58 drivers/gpu/drm/vboxvideo/vbva_base.c 	hgsmi_buffer_free(ctx, p);
hgsmi_buffer_free  132 drivers/gpu/drm/vboxvideo/vbva_base.c 	hgsmi_buffer_free(ctx, p);