29 nv_rdport(void *obj, int head, u16 port)  in nv_rdport()  argument
34 		return nv_rd08(obj, 0x601000 + port);  in nv_rdport()
36 	if (port == 0x03c0 || port == 0x03c1 ||	/* AR */  in nv_rdport()
37 	    port == 0x03c2 || port == 0x03da ||	/* INP0 */  in nv_rdport()
38 	    port == 0x03d4 || port == 0x03d5)	/* CR */  in nv_rdport()
39 		return nv_rd08(obj, 0x601000 + (head * 0x2000) + port);  in nv_rdport()
41 	if (port == 0x03c2 || port == 0x03cc ||	/* MISC */  in nv_rdport()
42 	    port == 0x03c4 || port == 0x03c5 ||	/* SR */  in nv_rdport()
43 	    port == 0x03ce || port == 0x03cf) {	/* GR */  in nv_rdport()
46 		return nv_rd08(obj, 0x0c0000 + (head * 0x2000) + port);  in nv_rdport()
49 	nv_error(obj, "unknown vga port 0x%04x\n", port);  in nv_rdport()
54 nv_wrport(void *obj, int head, u16 port, u8 data)  in nv_wrport()  argument
59 		nv_wr08(obj, 0x601000 + port, data);  in nv_wrport()
61 	if (port == 0x03c0 || port == 0x03c1 ||	/* AR */  in nv_wrport()
62 	    port == 0x03c2 || port == 0x03da ||	/* INP0 */  in nv_wrport()
63 	    port == 0x03d4 || port == 0x03d5)	/* CR */  in nv_wrport()
64 		nv_wr08(obj, 0x601000 + (head * 0x2000) + port, data);  in nv_wrport()
66 	if (port == 0x03c2 || port == 0x03cc ||	/* MISC */  in nv_wrport()
67 	    port == 0x03c4 || port == 0x03c5 ||	/* SR */  in nv_wrport()
68 	    port == 0x03ce || port == 0x03cf) {	/* GR */  in nv_wrport()
71 		nv_wr08(obj, 0x0c0000 + (head * 0x2000) + port, data);  in nv_wrport()
73 		nv_error(obj, "unknown vga port 0x%04x\n", port);  in nv_wrport()
119 nv_rdvgai(void *obj, int head, u16 port, u8 index)  in nv_rdvgai()  argument
121 	if (port == 0x03c4) return nv_rdvgas(obj, head, index);  in nv_rdvgai()
122 	if (port == 0x03ce) return nv_rdvgag(obj, head, index);  in nv_rdvgai()
123 	if (port == 0x03d4) return nv_rdvgac(obj, head, index);  in nv_rdvgai()
124 	nv_error(obj, "unknown indexed vga port 0x%04x\n", port);  in nv_rdvgai()
129 nv_wrvgai(void *obj, int head, u16 port, u8 index, u8 value)  in nv_wrvgai()  argument
131 	if      (port == 0x03c4) nv_wrvgas(obj, head, index, value);  in nv_wrvgai()
132 	else if (port == 0x03ce) nv_wrvgag(obj, head, index, value);  in nv_wrvgai()
133 	else if (port == 0x03d4) nv_wrvgac(obj, head, index, value);  in nv_wrvgai()
134 	else nv_error(obj, "unknown indexed vga port 0x%04x\n", port);  in nv_wrvgai()