void (*write)(struct vga*, u32_t type, u32_t index, u32_t val, u32_t mask);
void (
*set_seq)(struct vga*, u32_t type, size_t off, u32_t* seq, size_t len);
void (*write)(struct vga*, u32_t type, u32_t index, u32_t val, u32_t mask);
void (
*set_seq)(struct vga*, u32_t type, size_t off, u32_t* seq, size_t len);