Index: uspace/drv/intctl/obio/obio.c
===================================================================
--- uspace/drv/intctl/obio/obio.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ uspace/drv/intctl/obio/obio.c	(revision 36470ce8f1d0f0e1ac58746fc8bd8bf3bed80974)
@@ -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;