diff --git a/kernel/timer.c b/kernel/timer.c
index dd5cf9f..9a472f5 100644
--- a/kernel/timer.c
+++ b/kernel/timer.c
@@ -1,6 +1,8 @@
 /*
  * Copyright (c) 2008-2009 Travis Geiselbrecht
  *
+ * Copyright (c) 2014, The Linux Foundation. All rights reserved.
+ *
  * Permission is hereby granted, free of charge, to any person obtaining
  * a copy of this software and associated documentation files
  * (the "Software"), to deal in the Software without restriction,
@@ -264,7 +266,8 @@
 #endif
 
 	// XXX fix this, should return ret
-	return INT_RESCHEDULE;
+	ret = INT_RESCHEDULE;
+	return ret;
 }
 
 void timer_init(void)