AST_IO_VGAER
u8 vgaer = __ast_read8(ioregs, AST_IO_VGAER);
__ast_write8(ioregs, AST_IO_VGAER, AST_IO_VGAER_VGA_ENABLE);