static void gfx_ctx_ps3_destroy(void *data) { gfx_ctx_ps3_data_t *ps3 = (gfx_ctx_ps3_data_t*)data; if (!ps3) return; gfx_ctx_ps3_destroy_resources(ps3); free(data); }
static void gfx_ctx_ps3_destroy(void *data) { (void)data; gfx_ctx_ps3_data_t *ps3 = (gfx_ctx_ps3_data_t*)driver.video_context_data; if (!ps3) return; gfx_ctx_ps3_destroy_resources(ps3); if (driver.video_context_data) free(driver.video_context_data); driver.video_context_data = NULL; }
static void gfx_ctx_ps3_destroy(void *data) { driver_t *driver = driver_get_ptr(); gfx_ctx_ps3_data_t *ps3 = (gfx_ctx_ps3_data_t*)driver->video_context_data; (void)data; if (!ps3) return; gfx_ctx_ps3_destroy_resources(ps3); if (driver->video_context_data) free(driver->video_context_data); driver->video_context_data = NULL; }