contextual attributes

[Yoann Padioleau <padator@wanadoo.fr>]

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();
}