__ast_write8_i
__ast_write8_i(ioregs, AST_IO_VGACRI, 0xa1, AST_IO_VGACRA1_MMIO_ENABLED);
__ast_write8_i(ioregs, AST_IO_VGACRI, 0xa1,
__ast_write8_i(ioregs, AST_IO_VGACRI, 0x80, AST_IO_VGACR80_PASSWORD);
__ast_write8_i(addr, reg, index, tmp | val);
__ast_write8_i(ast->ioregs, base, index, val);