Re: [CHECKER] blocking w/ spinlock or interrupt's disabled

From: Dawson Engler (engler@csl.Stanford.EDU)
Date: Sun Mar 18 2001 - 21:13:29 EST


> Is it difficult to split it into "interrupts disabled" and "spin lock
> held"?

Nope, since it's already done ;-) The suffix of each error message
should say whether it's because you have a spinlock, ints disabled, or
both:

2.4.1/drivers/atm/idt77105.c:153:fetch_stats: ERROR:BLOCK:151:153:
    calling blocking fn '__constant_copy_to_user' w/ int's disabled
2.4.1/drivers/atm/iphase.c:2426:ia_led_timer: ERROR:BLOCK:2423:2426:
    calling blocking fn 'ia_tx_poll' w/ spin lock held

Dawson
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/



This archive was generated by hypermail 2b29 : Fri Mar 23 2001 - 21:00:11 EST