diff options
| author | Patrick Williams <iawillia@us.ibm.com> | 2010-10-05 17:35:47 -0500 |
|---|---|---|
| committer | Patrick Williams <iawillia@us.ibm.com> | 2010-10-05 17:35:47 -0500 |
| commit | 5d43599264f23482f84fbd82958ce60fac43c4b4 (patch) | |
| tree | 260897d9c054fa18196d92137dd6ae16c4d17720 /src/include/kernel | |
| parent | 86ac0669c13dddb64cc50a036544d4f67dc5dcd8 (diff) | |
| download | talos-hostboot-5d43599264f23482f84fbd82958ce60fac43c4b4.tar.gz talos-hostboot-5d43599264f23482f84fbd82958ce60fac43c4b4.zip | |
Support printk format warnings.
Diffstat (limited to 'src/include/kernel')
| -rw-r--r-- | src/include/kernel/console.H | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/include/kernel/console.H b/src/include/kernel/console.H index 31bb9c94a..e12f66a62 100644 --- a/src/include/kernel/console.H +++ b/src/include/kernel/console.H @@ -4,7 +4,7 @@ #include <stdint.h> #include <string.h> -void printk(const char*, ...); +void printk(const char*, ...) __attribute__((format (printf, 1, 2))); class Console { |
