Index: uspace/drv/hid/ps2mouse/ps2mouse.c
===================================================================
--- uspace/drv/hid/ps2mouse/ps2mouse.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ uspace/drv/hid/ps2mouse/ps2mouse.c	(revision 76d0981d8dda2b7d698201a93e0c555e99215ba5)
@@ -254,5 +254,5 @@
 
 	bool buttons[PS2_BUTTON_COUNT] = {};
-	while (1) {
+	while (true) {
 		uint8_t packet[PS2_BUFSIZE] = {};
 		rc = ps2_mouse_read_packet(mouse, packet, PS2_BUFSIZE);
@@ -306,5 +306,5 @@
 
 	bool buttons[INTELLIMOUSE_BUTTON_COUNT] = {};
-	while (1) {
+	while (true) {
 		uint8_t packet[INTELLIMOUSE_BUFSIZE] = {};
 		rc = ps2_mouse_read_packet(mouse, packet, INTELLIMOUSE_BUFSIZE);
Index: uspace/drv/hid/usbhid/mouse/mousedev.c
===================================================================
--- uspace/drv/hid/usbhid/mouse/mousedev.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ uspace/drv/hid/usbhid/mouse/mousedev.c	(revision 76d0981d8dda2b7d698201a93e0c555e99215ba5)
@@ -43,4 +43,5 @@
 #include <errno.h>
 #include <async.h>
+#include <stdbool.h>
 #include <str_error.h>
 #include <ipc/mouseev.h>
@@ -299,5 +300,5 @@
 
 	/* Break from within. */
-	while (1) {
+	while (true) {
 		field = usb_hid_report_get_sibling(
 		    report, field, path,