[ 0x70/8 ... 0x77/8] = 0xfc, /* rtc */
[ 0x78/8 ... 0x7f/8] = -1,
[ 0x80/8 ... 0x87/8] = 0xfe, /* port 80 (delays) */
- [ 0x88/8 ... 0x2f7/8] = -1,
+ [ 0x88/8 ... 0x1c7/8] = -1,
+ [ 0x1c8/8 ... 0x1cf/8] = 0x3f, /* vbe */
+ [ 0x1d0/8 ... 0x1d7/8] = 0xfe, /* vbe */
+ [ 0x1d8/8 ... 0x2f7/8] = -1,
[ 0x2f8/8 ... 0x2ff/8] = 0, /* serial2 */
[ 0x300/8 ... 0x3af/8] = -1,
[ 0x3b0/8 ... 0x3df/8] = 0, /* VGA */
[ 0x3e0/8 ... 0x3ef/8] = -1,
[ 0x3f0/8 ... 0x3f7/8] = 0, /* floppy */
- [ 0x3f8/8 ... 0x5657/8] = -1,
+ [ 0x3f8/8 ... 0x3ff/8] = -1,
+ [ 0x400/8 ... 0x407/8] = 0xfb, /* invalid but accessed by X */
+ [ 0x408/8 ... 0x5657/8] = -1,
[0x5658/8 ... 0x565f/8] = 0xf0, /* vmport */
[0x5660/8 ... 0xbfff/8] = -1,
[0xc000/8 ... 0xc0ff/8] = 0, /* PCI devices */