coreboot-kgpe-d16/util/i915tool/spatches/fixcalls.cocci
Kyösti Mälkki ecd8424919 Fix whitespace leaked into tree
Clean whitespace errors that have gotten past lint-stable-003-whitespace
and gerrit review.

Change-Id: Id76fc68e9d32d1b2b672d519b75cdc80cc4f1ad9
Signed-off-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-on: http://review.coreboot.org/3920
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Bruce Griffith <Bruce.Griffith@se-eng.com>
Reviewed-by: Ronald G. Minnich <rminnich@gmail.com>
2013-09-17 21:04:35 +02:00

148 lines
1.4 KiB
Text

@@
identifier f;
type T;
@@
T f(...){<...
-vga_get_uninterruptible(...);
...>}
@@
identifier f;
type T;
@@
T f(...){<...
-vga_put(...);
...>}
@@
identifier f;
type T;
@@
T f(...){<...
-intel_init_quirks(...);
...>}
@@
identifier f;
type T;
@@
T f(...){<...
-drm_mode_config_init(...);
...>}
@@
identifier f;
type T;
@@
T f(...){<...
-INIT_WORK(...);
...>}
@@
identifier f;
type T;
@@
T f(...){<...
-setup_timer(...);
...>}
@@
identifier f;
type T;
@@
T f(...){<...
-DRM_DEBUG_KMS(
+fprintf(stderr,
...);
...>}
@@
identifier f;
type T;
@@
T f(...){<...
-DRM_ERROR(
+fprintf(stderr,
...);
...>}
@@
identifier f;
type T;
@@
T f(...){<...
-DRM_DEBUG(
+fprintf(stderr,
...);
...>}
@@
identifier f;
type T;
@@
T f(...){<...
-DRM_DEBUG_DRIVER(
+fprintf(stderr,
...);
...>}
@@
identifier f;
type T;
@@
T f(...){<...
-intel_init_display(...);
...>}
@ rulekz @
identifier t;
identifier f;
expression E1, E2;
type T;
@@
T f(...){<...
t = kzalloc(E1, E2);
...>}
@@
identifier rulekz.f;
expression E1, E2;
@@
- kzalloc(E1
+ calloc(1, E1
- ,E2
)
@@
identifier d;
@@
-static
const struct pci_device_id d[] = {...};
@@
expression E1;
@@
-WARN(
+if (
E1
-,
+) fprintf(stderr,
...);
@@
expression E1;
@@
-BUG_ON(
+assert(
E1);
@@
@@
-jiffies
+msecs()
@@
expression E1;
@@
-jiffies_to_msecs(
E1
-)
@@
expression E1;
@@
-msecs_to_jiffies(
E1
-)
@@
expression E1, E2;
@@
-time_after(
+(
E1
-,
+>
E2)