diff options
| author | Patrick Williams <iawillia@us.ibm.com> | 2011-03-05 10:01:45 -0600 |
|---|---|---|
| committer | Patrick Williams <iawillia@us.ibm.com> | 2011-03-05 10:01:45 -0600 |
| commit | 706243ac48cf646d503a3f1ec9e6a28c916694bd (patch) | |
| tree | 5d583486a145a9646eccb9d3c4bce4dad45a2a84 /src/include/kernel/console.H | |
| parent | 5c20d316d21e231daee6455f0a78d5940d59cf23 (diff) | |
| download | talos-hostboot-706243ac48cf646d503a3f1ec9e6a28c916694bd.tar.gz talos-hostboot-706243ac48cf646d503a3f1ec9e6a28c916694bd.zip | |
Merge of PowerHAL project up to commit:
dd45c30bd53d8e6c123165b83842d08117558a3c
Diffstat (limited to 'src/include/kernel/console.H')
| -rw-r--r-- | src/include/kernel/console.H | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/include/kernel/console.H b/src/include/kernel/console.H index e12f66a62..964882a66 100644 --- a/src/include/kernel/console.H +++ b/src/include/kernel/console.H @@ -3,8 +3,9 @@ #include <stdint.h> #include <string.h> +#include <builtins.h> -void printk(const char*, ...) __attribute__((format (printf, 1, 2))); +void printk(const char*, ...) FORMAT_PRINTF; class Console { |
