usr/src/tools/smatch/src/check_kernel_printf.c

304

return is_struct_tag(type, tag);

usr/src/tools/smatch/src/check_kernel_printf.c

308

if (tmp && is_struct_tag(tmp, tag))

usr/src/tools/smatch/src/check_kernel_printf.c

399

if (is_struct_tag(basetype, "in_addr") && endian != ENDIAN_BIG)

usr/src/tools/smatch/src/check_kernel_printf.c

479

if (!is_struct_tag(basetype, "resource")) {

usr/src/tools/smatch/src/check_kernel_printf.c

499

if (!is_char_type(basetype) && !is_struct_tag(basetype, "bdaddr_t") && basetype != &void_ctype) {

usr/src/tools/smatch/src/check_kernel_printf.c

521

if (!is_struct_tag(basetype, tag))

usr/src/tools/smatch/src/check_kernel_printf.c

530

if (fmt[1] == 'R' && !is_struct_tag(basetype, "rtc_time"))

usr/src/tools/smatch/src/check_kernel_printf.c

544

if (!is_struct_tag(basetype, "clk"))

usr/src/tools/smatch/src/check_kernel_printf.c

554

if (!is_struct_tag(basetype, "va_format"))

usr/src/tools/smatch/src/check_kernel_printf.c

619

if (!is_struct_tag(basetype, tag))

usr/src/tools/smatch/src/check_kernel_printf.c

657

if (!is_struct_tag(basetype, "device_node"))