Hi,
Is it possible by using the __attribute((context(x,y)) sparse
attribute to enforce statically that all the callers of
certain functions do certain actions such as disabling interrupts ?
I would like an attribute like __assume_disabled_interrupt and
have such programs:
int __assume_disabled_interrupt
startpoint()
{
return 1;
}
int f1ok()
{
spin_lock_irq();
startpoint();
spin_unlock_irq();
}
int f1bad()
{
startpoint();
}
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
