diff --git a/os/src/drivers/gpio/omap4/driver.h b/os/src/drivers/gpio/omap4/driver.h
index f50186e471..e0ada75a77 100644
--- a/os/src/drivers/gpio/omap4/driver.h
+++ b/os/src/drivers/gpio/omap4/driver.h
@@ -51,18 +51,7 @@ class Gpio::Driver
 			/**
 			 * Implementation of 'Delayer' interface
 			 */
-			void usleep(unsigned us)
-			{
-				/* polling */
-				if (us == 0)
-					return;
-
-				unsigned ms = us / 1000;
-				if (ms == 0)
-					ms = 1;
-
-				Timer::Connection::msleep(ms);
-			}
+			void usleep(unsigned us) { Timer::Connection::usleep(us); }
 		} _delayer;
 
 		/* memory map */
diff --git a/os/src/drivers/sd_card/omap4/driver.h b/os/src/drivers/sd_card/omap4/driver.h
index 1258871576..2a42299d0c 100644
--- a/os/src/drivers/sd_card/omap4/driver.h
+++ b/os/src/drivers/sd_card/omap4/driver.h
@@ -38,18 +38,7 @@ class Block::Omap4_driver : public Block::Driver
 			/**
 			 * Implementation of 'Delayer' interface
 			 */
-			void usleep(unsigned us)
-			{
-				/* polling */
-				if (us == 0)
-					return;
-
-				unsigned ms = us / 1000;
-				if (ms == 0)
-					ms = 1;
-
-				Timer::Connection::msleep(ms);
-			}
+			void usleep(unsigned us) { Timer::Connection::usleep(us); }
 		} _delayer;
 
 		/* memory map */