/* Copyright holders: Sarah Walker
   see COPYING for more details
*/
void mouse_ps2_init();