API change, LrtsAdvanceCommunication() now takes an extra parameter "whenidle"
authorGengbin Zheng <gzheng@illinois.edu>
Sat, 31 Dec 2011 17:34:19 +0000 (09:34 -0800)
committerGengbin Zheng <gzheng@illinois.edu>
Sat, 31 Dec 2011 17:34:19 +0000 (09:34 -0800)
src/arch/util/machine-lrts.h

index 87abc15d97d6615db2a38ddaa97e325ff6ed0c0a..6135fc2654cbaea43c4830f0637cd5e00f3a5299 100644 (file)
@@ -18,7 +18,7 @@ void LrtsPostCommonInit(int everReturn);
 /* ### End of Machine-startup Related Functions ### */
 
 /* ### Beginning of Machine-running Related Functions ### */
-void LrtsAdvanceCommunication();
+void LrtsAdvanceCommunication(int whileidle);
 void LrtsDrainResources(); /* used when exit */
 void LrtsExit();
 /* ### End of Machine-running Related Functions ### */