diff options
| -rw-r--r-- | src/drivers/pc80/tpm/tpm.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/drivers/pc80/tpm/tpm.c b/src/drivers/pc80/tpm/tpm.c index ba2561df12..be616a26a4 100644 --- a/src/drivers/pc80/tpm/tpm.c +++ b/src/drivers/pc80/tpm/tpm.c @@ -410,7 +410,7 @@ static u32 tis_probe(void) break; } /* this will have to be converted into debug printout */ - printf("Found TPM %s by %s\n", device_name, vendor_name); + printk(BIOS_INFO, "Found TPM %s by %s\n", device_name, vendor_name); return 0; } |