diff --git a/kernel/mars_aio.c b/kernel/mars_aio.c
index 8491b547..7e00b2fd 100644
--- a/kernel/mars_aio.c
+++ b/kernel/mars_aio.c
@@ -672,7 +672,7 @@ static int aio_event_thread(void *data)
 		mm_segment_t oldfs;
 		int count;
 		int i;
-		struct lamport_time timeout = {
+		struct timespec timeout = {
 			.tv_nsec =
 				tinfo->should_terminate ||
 				!brick->power.button ? 0 : 100000,