Index: uspace/drv/intctl/obio/obio.c
===================================================================
--- uspace/drv/intctl/obio/obio.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ uspace/drv/intctl/obio/obio.c	(revision 76d0981d8dda2b7d698201a93e0c555e99215ba5)
@@ -86,5 +86,5 @@
 	obio = (obio_t *)ddf_dev_data_get(ddf_fun_get_dev((ddf_fun_t *)arg));
 
-	while (1) {
+	while (true) {
 		int inr;