HGA_INDEX_PORT    146 drivers/video/fbdev/hgafb.c 	outb_p(reg, HGA_INDEX_PORT); 
HGA_INDEX_PORT    152 drivers/video/fbdev/hgafb.c 	outb_p(reg,   HGA_INDEX_PORT); outb_p(val >> 8,   HGA_VALUE_PORT);
HGA_INDEX_PORT    153 drivers/video/fbdev/hgafb.c 	outb_p(reg+1, HGA_INDEX_PORT); outb_p(val & 0xff, HGA_VALUE_PORT);
HGA_INDEX_PORT    158 drivers/video/fbdev/hgafb.c 	outb_p(reg, HGA_INDEX_PORT);