HelenOS sources

pointer_update    434 uspace/srv/hid/console/console.c 	pointer_update(pointer_x + dx, pointer_y + dy);
pointer_update    442 uspace/srv/hid/console/console.c 	pointer_update(mouse_scale_x * cols * x / max_x, mouse_scale_y * rows * y / max_y);
HelenOS homepage, sources at GitHub