diff --git a/src/86box.c b/src/86box.c
index 4bf73790e..b2311f0e2 100644
--- a/src/86box.c
+++ b/src/86box.c
@@ -2138,17 +2138,6 @@ set_screen_size_natural(void)
         set_screen_size(monitors[i].mon_unscaled_size_x, monitors[i].mon_unscaled_size_y);
 }
 
-int
-get_actual_size_x(void)
-{
-    return (unscaled_size_x);
-}
-
-int
-get_actual_size_y(void)
-{
-    return (efscrnsz_y);
-}
 
 void
 do_pause(int p)
diff --git a/src/include/86box/video.h b/src/include/86box/video.h
index ff63a3a79..83fb2492e 100644
--- a/src/include/86box/video.h
+++ b/src/include/86box/video.h
@@ -253,9 +253,6 @@ extern int         video_get_video_from_internal_name(char *s);
 extern int         video_card_get_flags(int card);
 extern int         video_is_mda(void);
 extern int         video_is_cga(void);
-extern int         video_is_ega_vga(void);
-extern int         video_is_8514(void);
-extern int         video_is_xga(void);
 extern void        video_inform_monitor(int type, const video_timings_t *ptr, int monitor_index);
 extern int         video_get_type_monitor(int monitor_index);
 
@@ -290,10 +287,6 @@ extern void    video_update_timing(void);
 
 extern void loadfont_ex(char *fn, int format, int offset);
 extern void loadfont(char *fn, int format);
-
-extern int get_actual_size_x(void);
-extern int get_actual_size_y(void);
-
 extern uint32_t video_color_transform(uint32_t color);
 
 #define video_inform(type, video_timings_ptr) video_inform_monitor(type, video_timings_ptr, monitor_index_global)
diff --git a/src/video/vid_table.c b/src/video/vid_table.c
index cb7e794e8..504e3dd54 100644
--- a/src/video/vid_table.c
+++ b/src/video/vid_table.c
@@ -482,21 +482,3 @@ video_is_cga(void)
 {
     return (video_get_type() == VIDEO_FLAG_TYPE_CGA);
 }
-
-int
-video_is_ega_vga(void)
-{
-    return (video_get_type() == VIDEO_FLAG_TYPE_SPECIAL);
-}
-
-int
-video_is_8514(void)
-{
-    return (video_get_type() == VIDEO_FLAG_TYPE_8514);
-}
-
-int
-video_is_xga(void)
-{
-    return (video_get_type() == VIDEO_FLAG_TYPE_XGA);
-}