Index: include/hwdefs.h
===================================================================
--- include/hwdefs.h	(revision 4a17aeb071c8dfe3aaa4c73be9382677986d0ef8)
+++ include/hwdefs.h	(revision 928d5d9d09dbaa2b035031c80d63924de987a1cb)
@@ -12,43 +12,45 @@
 /* hardware addresses */
 
-extern	uint16_t	io_fpu[];
-extern	uint8_t		io_time[];
-extern	uint8_t		io_lcd;
-extern	uint8_t		io_ser;
-extern	uint8_t		io_midi;
-extern	uint8_t		io_disk;
-extern	uint8_t		io_tone;
-extern	uint8_t		io_leds;
-extern	uint8_t		io_kbrd;
-extern	uint8_t		lcd_a0;
-extern	uint8_t		lcd_a1;
+extern	uint16_t	io_fpu[];	/* 0x180000 */
+extern	uint8_t		io_time[];	/* 0x3a0001 */
+extern	uint8_t		io_lcd;		/* 0x3a4001 */
+extern	uint8_t		io_ser;		/* 0x3a8001 */
+extern	uint8_t		io_midi;	/* 0x3ac001 */
+extern	uint8_t		io_disk;	/* 0x3b0001 */
+extern	uint8_t		io_tone;	/* 0x3b4001 */
+extern	uint8_t		io_leds;	/* 0x3b8001 */
+extern	uint8_t		io_kbrd;	/* 0x3bc001 */
+extern	uint8_t		lcd_a0;		/* io_lcd + 0 */
+extern	uint8_t		lcd_a1;		/* io_lcd + 2 */
 
-extern	uint16_t	io_vreg[];
-extern	uint16_t	io_vraw[];
-extern	uint16_t	io_vram[];
+extern	uint16_t	io_vreg[];	/* 0x200000 Video registers after setup */
+extern	uint16_t	io_vraw[];	/* 0x200400 Video registers after reset */
+extern	uint16_t	io_vram[];	/* 0x200000 Video RAM */
 
-/* video memory allocations */
+/* video memory allocations, bank 0 */
 
-extern	uint16_t	v_regs[];
-extern	uint16_t	v_odtab[][4];
-extern	uint16_t	v_actab[];
-extern	uint16_t	v_ct0[];
-extern	uint16_t	v_gt1[];
-extern	uint16_t	v_score[];
-extern	uint16_t	v_cgtab[];
+extern	uint16_t	v_regs[];	/* 0x200000 Video registers */
+extern	uint16_t	v_odtab[][4];	/* 0x200080 Object Descriptor Table */
+extern	uint16_t	v_actab[];	/* 0x200100 Access Table */
+extern	uint16_t	v_ct0[];	/* 0x200400 */
+extern	uint16_t	v_gt1[];	/* 0x200518 */
+extern	uint16_t	v_score[];	/* 0x202000 Score */
+extern	uint16_t	v_cgtab[];	/* 0x21e000 Character Generator */
 
-extern	uint16_t	v_curs0[];
-extern	uint16_t	v_curs1[];
-extern	uint16_t	v_curs2[];
-extern	uint16_t	v_curs3[];
-extern	uint16_t	v_curs4[];
-extern	uint16_t	v_curs5[];
-extern	uint16_t	v_curs6[];
-extern	uint16_t	v_curs7[];
-extern	uint16_t	v_tcur[];
-extern	uint16_t	v_kbobj[];
-extern	uint16_t	v_lnobj[];
-extern	uint16_t	v_win0[];
-extern	uint16_t	v_cur[];
+/* video memory allocations, bank 1 */
+
+extern	uint16_t	v_curs0[];	/* 0x200400 ULE cursor */
+extern	uint16_t	v_curs1[];	/* 0x200480 ULO cursor */
+extern	uint16_t	v_curs2[];	/* 0x200500 URE cursor */
+extern	uint16_t	v_curs3[];	/* 0x200580 URO cursor */
+extern	uint16_t	v_curs4[];	/* 0x200600 LLE cursor */
+extern	uint16_t	v_curs5[];	/* 0x200680 LLO cursor */
+extern	uint16_t	v_curs6[];	/* 0x200700 LRE cursor */
+extern	uint16_t	v_curs7[];	/* 0x200780 LRO cursor */
+extern	uint16_t	v_tcur[];	/* 0x200800 Typewriter */
+extern	uint16_t	v_kbobj[];	/* 0x200b40 Keyboard */
+extern	uint16_t	v_lnobj[];	/* 0x201240 Line */
+extern	uint16_t	v_cur[];	/* 0x201940 Underline cursor */
+extern	uint16_t	v_win0[];	/* 0x204000 Window 0 */
 
 /* stuff in the depths of the bios */
