#ifndef VGA_H
#define VGA_H

void vga_machines_init(void);
unsigned long int vga_get_frame_counter(void);

#endif // VGA_H