#include <vga.h>
#include <vgamouse.h>

int  mmouse_detect();

void mmouse_init();
void mmouse_done();

void mmouse_hide();
void mmouse_show();