+#define VRAMOFFS_FB0 0x00000000
+#define VRAMOFFS_FB1 0x00044000
+#define VRAMOFFS_DEPTH 0x00088000
+#define VRAMOFFS_STUFF 0x000cc000
+
+#define VRAM_FB0 ((void *) (0x44000000+VRAMOFFS_FB0))
+#define VRAM_FB1 ((void *) (0x44000000+VRAMOFFS_FB1))
+#define VRAM_STUFF ((void *) (0x44000000+VRAMOFFS_STUFF))
+
+#define VRAM_CACHED_STUFF ((void *) (0x04000000+VRAMOFFS_STUFF))
+
+#define GU_CMDLIST_SIZE (16*1024)
+
+extern unsigned int guCmdList[GU_CMDLIST_SIZE];
+
+void *psp_video_get_active_fb(void);
+void psp_video_switch_to_single(void);
+void psp_video_flip(int wait_vsync);