err_destroy_guest_pool 226 drivers/gpu/drm/vboxvideo/vbox_main.c goto err_destroy_guest_pool; err_destroy_guest_pool 231 drivers/gpu/drm/vboxvideo/vbox_main.c goto err_destroy_guest_pool; err_destroy_guest_pool 243 drivers/gpu/drm/vboxvideo/vbox_main.c goto err_destroy_guest_pool; err_destroy_guest_pool 251 drivers/gpu/drm/vboxvideo/vbox_main.c goto err_destroy_guest_pool; err_destroy_guest_pool 256 drivers/gpu/drm/vboxvideo/vbox_main.c goto err_destroy_guest_pool; err_destroy_guest_pool 260 drivers/gpu/drm/vboxvideo/vbox_main.c err_destroy_guest_pool: