Add ACPI support.
[akaros.git] / scripts / spatch / scalar.cocci
index fed0fc6..719da7b 100644 (file)
@@ -12,6 +12,12 @@ typedef uint64_t;
 +uint64_t
 
 @@
+typedef u64int;
+@@
+-u64int
++uint64_t
+
+@@
 typedef vlong;
 typedef int64_t;
 @@
@@ -26,18 +32,18 @@ typedef uint32_t;
 +uint32_t
 
 @@
-typedef usize;
-@@
--usize
-+unsigned long
-
-@@
 typedef u32int;
 @@
 -u32int
 +uint32_t
 
 @@
+typedef usize;
+@@
+-usize
++unsigned long
+
+@@
 typedef ushort;
 typedef uint16_t;
 @@
@@ -45,6 +51,12 @@ typedef uint16_t;
 +uint16_t
 
 @@
+typedef u16int;
+@@
+-u16int
++uint16_t
+
+@@
 typedef uchar;
 typedef uint8_t;
 @@
@@ -52,6 +64,12 @@ typedef uint8_t;
 +uint8_t
 
 @@
+typedef u8int;
+@@
+-u8int
++uint8_t
+
+@@
 typedef uintptr;
 typedef uintptr_t;
 @@