diff options
| author | Franklin Wei <frankhwei536@gmail.com> | 2015-03-01 14:40:30 -0500 |
|---|---|---|
| committer | Franklin Wei <frankhwei536@gmail.com> | 2015-03-01 14:40:30 -0500 |
| commit | 35d98182c5b86c25eb4e7fd18fc68f240683960b (patch) | |
| tree | eef74a8d1243e5d335b02dc99ae41ebc3077eae9 /include/kernel | |
| parent | c7252588ebb95f97631e9470778c69afa00c35b5 (diff) | |
| download | kappa-35d98182c5b86c25eb4e7fd18fc68f240683960b.zip kappa-35d98182c5b86c25eb4e7fd18fc68f240683960b.tar.gz kappa-35d98182c5b86c25eb4e7fd18fc68f240683960b.tar.bz2 kappa-35d98182c5b86c25eb4e7fd18fc68f240683960b.tar.xz | |
vprintf and panic formatting
Diffstat (limited to 'include/kernel')
| -rw-r--r-- | include/kernel/panic.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/kernel/panic.h b/include/kernel/panic.h index db53e8e..7baeaa9 100644 --- a/include/kernel/panic.h +++ b/include/kernel/panic.h @@ -1 +1 @@ -void panic(const char*, ...); +void panic(const char*, ...) __attribute__ ((format (printf, 1, 2))); |