I understood that to refer to printf-style format specifiers that printk() uses. GCC can do type-checking for those: http://www.ohse.de/uwe/articles/gcc-attributes.html#func-for... -- but not if you invent your own % codes.