diff --git a/include/unknown_078050.h b/include/unknown_078050.h
new file mode 100644
index 00000000..f7849ae9
--- /dev/null
+++ b/include/unknown_078050.h
@@ -0,0 +1,47 @@
+#ifndef _UNKNOWN_078050_H_
+#define _UNKNOWN_078050_H_
+
+#include "types.h"
+
+extern s16 D_800DE490[16];
+
+extern u8 D_800DE4B0;
+extern u8 D_800DE4B4;
+extern u8 D_800DE4B8;
+extern s32 D_800DE4BC;
+
+extern u32 D_800DE4C0;
+extern u32 D_800DE4C4;
+extern u32 D_800DE4C8;
+extern s32 D_800DE4CC;
+
+extern u32 D_800DE4D0;
+extern s32 D_800DE4D4;
+extern s32 D_800DE4D8;
+extern s32 D_800DE4DC;
+
+// Fast3D (F3DDKR) display list
+extern u32 D_800DE4E0[];
+
+// Fast3D (F3DDKR) display list
+extern u32 D_800DE520[];
+
+// Fast3D (F3DDKR) display list
+extern u32 D_800DE598[];
+
+// Fast3D (F3DDKR) display list
+extern u32 D_800DE5E0[];
+
+// Fast3D (F3DDKR) display list
+extern u32 D_800DE628[];
+
+// Fast3D (F3DDKR) display list
+extern u32 D_800DE670[];
+
+// Fast3D (F3DDKR) display list
+extern u32 D_800DE6A8[];
+
+// Fast3D (F3DDKR) display list
+extern u32 D_800DE6E8[];
+
+#endif
diff --git a/src/unknown_078050.c b/src/unknown_078050.c
index 7223f02f..5f11a911 100644
--- a/src/unknown_078050.c
+++ b/src/unknown_078050.c
@@ -1,6 +1,8 @@
 /* The comment below is needed for this file to be picked up by generate_ld */
 /* RAM_POS: 0x80077450 */
 
+#include "unknown_078050.h"
+
 #include "types.h"
 #include "macros.h"
 #include "libultra_internal.h"
diff --git a/undefined_syms.txt b/undefined_syms.txt
index 101e8371..21c0094b 100755
--- a/undefined_syms.txt
+++ b/undefined_syms.txt
@@ -72,27 +72,6 @@ D_800DD434 = 0x800DD434;
 D_800DD438 = 0x800DD438;
 D_800DD43C = 0x800DD43C;
 D_800DDC3E = 0x800DDC3E;
-D_800DE490 = 0x800DE490;
-D_800DE4B0 = 0x800DE4B0;
-D_800DE4B4 = 0x800DE4B4;
-D_800DE4B8 = 0x800DE4B8;
-D_800DE4BC = 0x800DE4BC;
-D_800DE4C0 = 0x800DE4C0;
-D_800DE4C4 = 0x800DE4C4;
-D_800DE4C8 = 0x800DE4C8;
-D_800DE4CC = 0x800DE4CC;
-D_800DE4D0 = 0x800DE4D0;
-D_800DE4D4 = 0x800DE4D4;
-D_800DE4D8 = 0x800DE4D8;
-D_800DE4DC = 0x800DE4DC;
-D_800DE4E0 = 0x800DE4E0;
-D_800DE520 = 0x800DE520;
-D_800DE598 = 0x800DE598;
-D_800DE5E0 = 0x800DE5E0;
-D_800DE628 = 0x800DE628;
-D_800DE670 = 0x800DE670;
-D_800DE6A8 = 0x800DE6A8;
-D_800DE6E8 = 0x800DE6E8;
 D_800DE730 = 0x800DE730;
 D_800DE738 = 0x800DE738;
 D_800DE740 = 0x800DE740;