drivers/char/tpm/tpm_infineon.c:443: warning: format '%04x' expects type 'unsigned int', but argument 4 has type 'long unsigned int'
Signed-off-by: Randy Dunlap <rdunlap@xenotime.net>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
 
                if ((ioh << 8 | iol) != tpm_inf.base) {
                        dev_err(&dev->dev,
-                               "Could not set IO-ports to %04x\n",
+                               "Could not set IO-ports to 0x%lx\n",
                                tpm_inf.base);
                        release_region(tpm_inf.base, TPM_INF_PORT_LEN);
                        return -EIO;