diff options
| author | joerg <joerg@NetBSD.org> | 2012-03-15 02:02:20 +0000 |
|---|---|---|
| committer | joerg <joerg@NetBSD.org> | 2012-03-15 02:02:20 +0000 |
| commit | 85ebf103375262b27fffdad71fc44b299417f3ff (patch) | |
| tree | e1ed527b316eb219b289e5214b93f707880a0ca1 /tests/kernel | |
| parent | fa80b16724ce0bd6438d61e3a11855ca361f10d7 (diff) | |
Add __printflike attribution to use vprintf and friends with an argument
as format string.
Diffstat (limited to 'tests/kernel')
| -rwxr-xr-x | tests/kernel/gen_t_subr_prf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/kernel/gen_t_subr_prf b/tests/kernel/gen_t_subr_prf index c2d4271246c..e6cf7fea09b 100755 --- a/tests/kernel/gen_t_subr_prf +++ b/tests/kernel/gen_t_subr_prf @@ -24,8 +24,8 @@ static const char hexdigits[] = "0123456789abcdef"; typedef int device_t; #define device_xname(a) "" -int kprintf(const char *, int, void *, char *, va_list); -void device_printf(device_t, const char *, ...); +int kprintf(const char *, int, void *, char *, va_list) __printflike(1, 0); +void device_printf(device_t, const char *, ...) __printflike(2, 3); static void empty(void) |
