vga_get_atr
atr = vga_get_atr(VGA_REG_ADDR, VGA_ATR_MODE);
i = vga_get_atr(VGA_REG_ADDR, VGA_ATR_MODE);
printf("%2x ", vga_get_atr(reg, i+j));
printf("%2x ", vga_get_atr(reg, i+j));
extern int vga_get_atr(vgaregmap_t reg, int i);
val = vga_get_atr(VGA_ATR_MODE);
static unsigned char vga_get_atr(int index);
vga_get_atr(&console->vga.regs, i);
vga_reg->vga_atr[i] = vga_get_atr(regs, i);
atr_mode = vga_get_atr(&console->vga.regs, VGA_ATR_MODE);
atr_mode = vga_get_atr(&console->vga.regs, VGA_ATR_MODE);
vga_get_atr(&console->vga.regs, pc_brt_white));
vga_get_atr(&console->vga.regs, pc_black));
vga_get_atr(&softc->console->vga.regs, pc_black));