__ast_read8_i
vgacrd0 = __ast_read8_i(ioregs, AST_IO_VGACRI, 0xd0);
vgacrd1 = __ast_read8_i(ioregs, AST_IO_VGACRI, 0xd1);
u8 val = __ast_read8_i(addr, reg, index);
return __ast_read8_i(ast->ioregs, base, index);