diff --git a/gfx/context/ps3_ctx.c b/gfx/context/ps3_ctx.c
index 5fa0294692..923e1b727c 100644
--- a/gfx/context/ps3_ctx.c
+++ b/gfx/context/ps3_ctx.c
@@ -288,8 +288,6 @@ static void gfx_ctx_set_blend(bool enable)
 
 static void gfx_ctx_set_resize(unsigned width, unsigned height) { }
 
-static bool rmenu_inited = false;
-
 static bool gfx_ctx_rmenu_init(void)
 {
    gl_t *gl = driver.video_data;
@@ -297,9 +295,6 @@ static bool gfx_ctx_rmenu_init(void)
    if (!gl)
       return false;
 
-   if (rmenu_inited)
-      return true;
-
 #ifdef HAVE_RMENU
    glGenTextures(1, &menu_texture_id);
 
@@ -325,8 +320,6 @@ static bool gfx_ctx_rmenu_init(void)
    free(menu_texture.pixels);
 #endif
 
-   rmenu_inited = true;
-
    return true;
 }
 
diff --git a/gfx/gl.c b/gfx/gl.c
index 3e0a072173..59934befdf 100644
--- a/gfx/gl.c
+++ b/gfx/gl.c
@@ -1830,12 +1830,6 @@ static void gl_restart(void)
    gl_cg_invalidate_context();
 #endif
    gl_start();
-
-#ifdef HAVE_RMENU
-   SET_TIMER_EXPIRATION(0, 30);
-#endif
-
-   g_extern.frame_count = 0;
 }
 
 static void gl_apply_state_changes(void)