1 files changed, 2 insertions, 4 deletions
diff --git a/frontend/plat.h b/frontend/plat.h
index db66c57..6b0cd65 100644
--- a/frontend/plat.h
+++ b/frontend/plat.h
@@ -1,9 +1,7 @@
+void plat_init(void);
+void plat_finish(void);
 void plat_minimize(void);
 void *plat_prepare_screenshot(int *w, int *h, int *bpp);
-void plat_step_volume(int is_up);
-int  plat_cpu_clock_get(void);
-int  plat_cpu_clock_apply(int cpu_clock);
-int  plat_get_bat_capacity(void);
 
 // indirectly called from GPU plugin
 void  plat_gvideo_open(int is_pal);