diff --git a/src/kernel/kernel.c b/src/kernel/kernel.c
index 33b86de..91dd028 100644
--- a/src/kernel/kernel.c
+++ b/src/kernel/kernel.c
@@ -100,7 +100,7 @@ static void drivers_switch(int who)
 
 	/* Restore the other context */
 	ctx_restore(who ? &sys_ctx : &gint_ctx);
-	for driver_asc(d)
+	for driver_dsc(d)
 	{
 		if(!d->ctx_save || !d->ctx_restore) continue;
 		d->ctx_restore(who ? d->sys_ctx : d->gint_ctx);