DvcLeaveCritical  236 dev/ic/advlib.c static void DvcLeaveCritical(int);
DvcLeaveCritical 3094 dev/ic/advlib.c 				DvcLeaveCritical(last_int_level);
DvcLeaveCritical 3100 dev/ic/advlib.c 	DvcLeaveCritical(last_int_level);
DvcLeaveCritical 3139 dev/ic/advlib.c 	DvcLeaveCritical(last_int_level);