__printf__        757 dev/ic/ispvar.h 	__attribute__((__format__(__printf__,3,4)));
__printf__         53 sys/kthread.h  	    __attribute__((__format__(__printf__,4,5)));