When working with a wireless driver module, noise in the wireless medium is reported to the module as a s32 data type, which is defined in linux/types.h.

I would like to use printk() to print out this value to the syslog, however when I do I get unintelligible results. Current attempts have been:

printk("%d", val);  

printk("%d", (int) val);  

printk("%3i", (int)val);  

printk("%3i", val);  

printk("%lx", val);  

printk("%lx", long val);  

I don't understand is how to format this for printing. I have also not been able to find any information thus far on how to do so.

Since it deals with kernel data types, I thought it might be appropriate to post in askubuntu.