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

Dawson Engler (engler@csl.Stanford.EDU)
Sun, 18 Mar 2001 18:13:29 -0800 (PST)


> 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/