12 …"\10\2BITTWO\1BITONE\n"); // expected-warning{{format specifies type 'int' but the argument has ty…  in check_freebsd_kernel_extensions()
13 …freebsd_kernel_printf("reg=%b\n", i, l); // expected-warning{{format specifies type 'char *' but t…  in check_freebsd_kernel_extensions()
19 …freebsd_kernel_printf("%6D", i, ":"); // expected-warning{{format specifies type 'void *' but the …  in check_freebsd_kernel_extensions()
20 …freebsd_kernel_printf("%6D", s, i); // expected-warning{{format specifies type 'char *' but the ar…  in check_freebsd_kernel_extensions()
25 …freebsd_kernel_printf("%*D", 42, i, ":"); // expected-warning{{format specifies type 'void *' but …  in check_freebsd_kernel_extensions()
26 …freebsd_kernel_printf("%*D", 42, s, i); // expected-warning{{format specifies type 'char *' but th…  in check_freebsd_kernel_extensions()
32 …freebsd_kernel_printf("%r", l); // expected-warning{{format specifies type 'int' but the argument …  in check_freebsd_kernel_extensions()
33 …freebsd_kernel_printf("%lr", i); // expected-warning{{format specifies type 'long' but the argumen…  in check_freebsd_kernel_extensions()
37 …freebsd_kernel_printf("%hr", i); // expected-warning{{format specifies type 'short' but the argume…  in check_freebsd_kernel_extensions()
39 …freebsd_kernel_printf("%hy", i); // expected-warning{{format specifies type 'short' but the argume…  in check_freebsd_kernel_extensions()
44 …freebsd_kernel_printf("%y", l); // expected-warning{{format specifies type 'int' but the argument …  in check_freebsd_kernel_extensions()
45 …freebsd_kernel_printf("%ly", i); // expected-warning{{format specifies type 'long' but the argumen…  in check_freebsd_kernel_extensions()