Orange Pi5 kernel

^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300   1) // SPDX-License-Identifier: GPL-2.0-only
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300   2) ///
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300   3) /// Check that kvmalloc'ed memory is freed by kfree functions,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300   4) /// vmalloc'ed by vfree functions and kvmalloc'ed by kvfree
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300   5) /// functions.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300   6) ///
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300   7) // Confidence: High
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300   8) // Copyright: (C) 2020 Denis Efremov ISPRAS
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300   9) // Options: --no-includes --include-headers
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  10) //
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  11) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  12) virtual patch
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  13) virtual report
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  14) virtual org
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  15) virtual context
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  16) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  17) @alloc@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  18) expression E, E1;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  19) position kok, vok;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  20) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  21) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  22) (
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  23)   if (...) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  24)     ...
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  25)     E = \(kmalloc\|kzalloc\|krealloc\|kcalloc\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  26)           kmalloc_node\|kzalloc_node\|kmalloc_array\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  27)           kmalloc_array_node\|kcalloc_node\)(...)@kok
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  28)     ...
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  29)   } else {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  30)     ...
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  31)     E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  32)           vzalloc_node\|vmalloc_exec\|vmalloc_32\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  33)           vmalloc_32_user\|__vmalloc\|__vmalloc_node_range\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  34)           __vmalloc_node\)(...)@vok
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  35)     ...
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  36)   }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  37) |
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  38)   E = \(kmalloc\|kzalloc\|krealloc\|kcalloc\|kmalloc_node\|kzalloc_node\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  39)         kmalloc_array\|kmalloc_array_node\|kcalloc_node\)(...)@kok
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  40)   ... when != E = E1
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  41)       when any
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  42)   if (E == NULL) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  43)     ...
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  44)     E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  45)           vzalloc_node\|vmalloc_exec\|vmalloc_32\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  46)           vmalloc_32_user\|__vmalloc\|__vmalloc_node_range\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  47)           __vmalloc_node\)(...)@vok
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  48)     ...
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  49)   }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  50) )
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  51) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  52) @free@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  53) expression E;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  54) position fok;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  55) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  56) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  57)   E = \(kvmalloc\|kvzalloc\|kvcalloc\|kvzalloc_node\|kvmalloc_node\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  58)         kvmalloc_array\)(...)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  59)   ...
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  60)   kvfree(E)@fok
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  61) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  62) @vfree depends on !patch@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  63) expression E;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  64) position a != alloc.kok;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  65) position f != free.fok;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  66) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  67) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  68) * E = \(kmalloc\|kzalloc\|krealloc\|kcalloc\|kmalloc_node\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  69) *       kzalloc_node\|kmalloc_array\|kmalloc_array_node\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  70) *       kcalloc_node\)(...)@a
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  71)   ... when != if (...) { ... E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|vzalloc_node\|vmalloc_exec\|vmalloc_32\|vmalloc_32_user\|__vmalloc\|__vmalloc_node_range\|__vmalloc_node\)(...); ... }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  72)       when != is_vmalloc_addr(E)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  73)       when any
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  74) * \(vfree\|vfree_atomic\|kvfree\)(E)@f
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  75) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  76) @depends on patch exists@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  77) expression E;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  78) position a != alloc.kok;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  79) position f != free.fok;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  80) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  81) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  82)   E = \(kmalloc\|kzalloc\|krealloc\|kcalloc\|kmalloc_node\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  83)         kzalloc_node\|kmalloc_array\|kmalloc_array_node\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  84)         kcalloc_node\)(...)@a
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  85)   ... when != if (...) { ... E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|vzalloc_node\|vmalloc_exec\|vmalloc_32\|vmalloc_32_user\|__vmalloc\|__vmalloc_node_range\|__vmalloc_node\)(...); ... }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  86)       when != is_vmalloc_addr(E)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  87)       when any
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  88) - \(vfree\|vfree_atomic\|kvfree\)(E)@f
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  89) + kfree(E)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  90) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  91) @kfree depends on !patch@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  92) expression E;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  93) position a != alloc.vok;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  94) position f != free.fok;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  95) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  96) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  97) * E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|vzalloc_node\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  98) *       vmalloc_exec\|vmalloc_32\|vmalloc_32_user\|__vmalloc\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  99) *       __vmalloc_node_range\|__vmalloc_node\)(...)@a
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 100)   ... when != is_vmalloc_addr(E)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 101)       when any
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 102) * \(kfree\|kfree_sensitive\|kvfree\)(E)@f
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 103) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 104) @depends on patch exists@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 105) expression E;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 106) position a != alloc.vok;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 107) position f != free.fok;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 108) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 109) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 110)   E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|vzalloc_node\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 111)         vmalloc_exec\|vmalloc_32\|vmalloc_32_user\|__vmalloc\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 112)         __vmalloc_node_range\|__vmalloc_node\)(...)@a
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 113)   ... when != is_vmalloc_addr(E)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 114)       when any
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 115) - \(kfree\|kvfree\)(E)@f
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 116) + vfree(E)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 117) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 118) @kvfree depends on !patch@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 119) expression E;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 120) position a, f;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 121) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 122) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 123) * E = \(kvmalloc\|kvzalloc\|kvcalloc\|kvzalloc_node\|kvmalloc_node\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 124) *       kvmalloc_array\)(...)@a
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 125)   ... when != is_vmalloc_addr(E)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 126)       when any
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 127) * \(kfree\|kfree_sensitive\|vfree\|vfree_atomic\)(E)@f
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 128) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 129) @depends on patch exists@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 130) expression E;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 131) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 132) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 133)   E = \(kvmalloc\|kvzalloc\|kvcalloc\|kvzalloc_node\|kvmalloc_node\|
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 134)         kvmalloc_array\)(...)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 135)   ... when != is_vmalloc_addr(E)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 136)       when any
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 137) - \(kfree\|vfree\)(E)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 138) + kvfree(E)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 139) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 140) @kvfree_switch depends on !patch@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 141) expression alloc.E;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 142) position f;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 143) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 144) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 145)   ... when != is_vmalloc_addr(E)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 146)       when any
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 147) * \(kfree\|kfree_sensitive\|vfree\|vfree_atomic\)(E)@f
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 148) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 149) @depends on patch exists@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 150) expression alloc.E;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 151) position f;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 152) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 153) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 154)   ... when != is_vmalloc_addr(E)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 155)       when any
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 156) (
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 157) - \(kfree\|vfree\)(E)@f
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 158) + kvfree(E)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 159) |
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 160) - kfree_sensitive(E)@f
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 161) + kvfree_sensitive(E)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 162) )
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 163) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 164) @script: python depends on report@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 165) a << vfree.a;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 166) f << vfree.f;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 167) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 168) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 169) msg = "WARNING kmalloc is used to allocate this memory at line %s" % (a[0].line)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 170) coccilib.report.print_report(f[0], msg)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 171) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 172) @script: python depends on org@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 173) a << vfree.a;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 174) f << vfree.f;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 175) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 176) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 177) msg = "WARNING kmalloc is used to allocate this memory at line %s" % (a[0].line)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 178) coccilib.org.print_todo(f[0], msg)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 179) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 180) @script: python depends on report@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 181) a << kfree.a;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 182) f << kfree.f;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 183) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 184) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 185) msg = "WARNING vmalloc is used to allocate this memory at line %s" % (a[0].line)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 186) coccilib.report.print_report(f[0], msg)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 187) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 188) @script: python depends on org@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 189) a << kfree.a;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 190) f << kfree.f;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 191) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 192) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 193) msg = "WARNING vmalloc is used to allocate this memory at line %s" % (a[0].line)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 194) coccilib.org.print_todo(f[0], msg)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 195) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 196) @script: python depends on report@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 197) a << kvfree.a;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 198) f << kvfree.f;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 199) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 200) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 201) msg = "WARNING kvmalloc is used to allocate this memory at line %s" % (a[0].line)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 202) coccilib.report.print_report(f[0], msg)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 203) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 204) @script: python depends on org@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 205) a << kvfree.a;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 206) f << kvfree.f;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 207) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 208) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 209) msg = "WARNING kvmalloc is used to allocate this memory at line %s" % (a[0].line)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 210) coccilib.org.print_todo(f[0], msg)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 211) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 212) @script: python depends on report@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 213) ka << alloc.kok;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 214) va << alloc.vok;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 215) f << kvfree_switch.f;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 216) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 217) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 218) msg = "WARNING kmalloc (line %s) && vmalloc (line %s) are used to allocate this memory" % (ka[0].line, va[0].line)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 219) coccilib.report.print_report(f[0], msg)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 220) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 221) @script: python depends on org@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 222) ka << alloc.kok;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 223) va << alloc.vok;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 224) f << kvfree_switch.f;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 225) @@
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 226) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 227) msg = "WARNING kmalloc (line %s) && vmalloc (line %s) are used to allocate this memory" % (ka[0].line, va[0].line)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 228) coccilib.org.print_todo(f[0], msg)