drivers/gpu/drm/vboxvideo/hgsmi_base.c

180

hgsmi_buffer_free(ctx, p);

drivers/gpu/drm/vboxvideo/hgsmi_base.c

31

hgsmi_buffer_free(ctx, p);

drivers/gpu/drm/vboxvideo/hgsmi_base.c

58

hgsmi_buffer_free(ctx, p);

drivers/gpu/drm/vboxvideo/hgsmi_base.c

99

hgsmi_buffer_free(ctx, p);

drivers/gpu/drm/vboxvideo/modesetting.c

119

hgsmi_buffer_free(ctx, p);

drivers/gpu/drm/vboxvideo/modesetting.c

124

hgsmi_buffer_free(ctx, p);

drivers/gpu/drm/vboxvideo/modesetting.c

52

hgsmi_buffer_free(ctx, p);

drivers/gpu/drm/vboxvideo/modesetting.c

85

hgsmi_buffer_free(ctx, p);

drivers/gpu/drm/vboxvideo/vbox_drv.h

150

void hgsmi_buffer_free(struct gen_pool *guest_pool, void *buf);

drivers/gpu/drm/vboxvideo/vbox_mode.c

112

hgsmi_buffer_free(vbox->guest_pool, p);

drivers/gpu/drm/vboxvideo/vbva_base.c

132

hgsmi_buffer_free(ctx, p);

drivers/gpu/drm/vboxvideo/vbva_base.c

58

hgsmi_buffer_free(ctx, p);