summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
535ea94)
+ *#* Revision 1.16 2004/10/03 18:48:01 bernie
+ *#* timer_delay(): Add a sanity check to avoid sleeping forever.
+ *#*
*#* Revision 1.15 2004/09/14 21:07:18 bernie
*#* Use debug.h instead of kdebug.h.
*#*
*#* Revision 1.15 2004/09/14 21:07:18 bernie
*#* Use debug.h instead of kdebug.h.
*#*
*/
void timer_delay(time_t time)
{
*/
void timer_delay(time_t time)
{
+#if defined(IRQ_GETSTATE)
+ /* We shouldn't sleep with interrupts disabled */
+ ASSERT(IRQ_GETSTATE());
+#endif
+
#if defined(CONFIG_KERN_SIGNALS) && CONFIG_KERN_SIGNALS
Timer t;
#if defined(CONFIG_KERN_SIGNALS) && CONFIG_KERN_SIGNALS
Timer t;