Update spatch/linux/*.cocci
authorXiao Jia <stfairy@gmail.com>
Wed, 16 Sep 2015 22:53:43 +0000 (15:53 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 23 Sep 2015 17:49:29 +0000 (13:49 -0400)
scripts/spatch/linux/funcs.cocci
scripts/spatch/linux/io_funcs.cocci
scripts/spatch/linux/memory.cocci
scripts/spatch/linux/scalar.cocci
scripts/spatch/linux/sync.cocci

index fe1aeee..eaeee9e 100644 (file)
@@ -125,12 +125,39 @@ expression E;
 +spin_unlock_irqsave(E)
 
 @@
+expression lock, flags;
+@@
+-spin_lock_irqsave(lock, flags)
++spin_lock_irqsave(lock)
+...
+-spin_unlock_irqrestore(lock, flags)
++spin_unlock_irqsave(lock)
+
+@@
 expression E;
 @@
 -ilog2(E)
 +LOG2_UP(E)
 
 @@
+expression E;
+@@
+-roundup_pow_of_two(E)
++ROUNDUPPWR2(E)
+
+@@
+expression E;
+@@
+-rounddown_pow_of_two(E)
++ROUNDDOWNPWR2(E)
+
+@@
+expression E;
+@@
+-is_power_of_2(E)
++IS_PWR2(E)
+
+@@
 expression DST;
 expression SRC;
 expression LEN;
index bc466f6..b76b785 100644 (file)
 +__raw_write64(
  ...)
 
-
+@@
+@@
+-iowrite32(
++write32(
+ ...)
 
 @@
 @@
 -mmiowb(
 +bus_wmb(
  ...)
+
+@@
+@@
+-dma_wmb(
++bus_wmb(
+ ...)
+
+@@
+@@
+-dma_rmb(
++bus_rmb(
+ ...)
index 090e361..ece5fb0 100644 (file)
@@ -33,8 +33,8 @@ expression FL;
 -kcalloc(CNT, SZ, FL)
 +kzmalloc((CNT) * (SZ), FL)
 
-# These are dangerous in Akaros.  If someone is using a page* for multiple
-# pages, it's probably okay, but we should look closely.
+// These are dangerous in Akaros.  If someone is using a page* for multiple
+// pages, it's probably okay, but we should look closely.
 @@
 expression ADDR;
 expression ORDER;
@@ -68,6 +68,12 @@ expression PG;
 +page_decref(PG)
 
 @@
+struct page *page;
+@@
+-page->_count
++page->pg_kref.refcount
+
+@@
 expression KVA;
 @@
 -virt_to_head_page(KVA)
@@ -76,5 +82,11 @@ expression KVA;
 @@
 expression KVA;
 @@
+-virt_to_page(KVA)
++kva2page(KVA)
+
+@@
+expression KVA;
+@@
 -virt_to_bus(KVA)
 +PADDR(KVA)
index d8fd0e4..df8358d 100644 (file)
@@ -13,6 +13,12 @@ typedef uint16_t;
 +uint16_t
 
 @@
+typedef __u16;
+@@
+-__u16
++uint16_t
+
+@@
 typedef u32;
 typedef uint32_t;
 @@
@@ -27,6 +33,12 @@ typedef uint64_t;
 +uint64_t
 
 @@
+typedef cycle_t;
+@@
+-cycle_t
++uint64_t
+
+@@
 typedef s8;
 typedef int8_t;
 @@
@@ -61,6 +73,18 @@ typedef uint;
 +unsigned int
 
 @@
+typedef __sum16;
+@@
+-__sum16
++uint16_t
+
+@@
+typedef __wsum;
+@@
+-__wsum
++uint32_t
+
+@@
 @@
 -ETH_ALEN
 +Eaddrlen
@@ -118,3 +142,33 @@ struct ether *p;
 @@
 -p->dev_addr
 +p->ea
+
+@@
+struct ether *p;
+expression E;
+@@
+-p->dev_port = E;
+
+@@
+struct ether *p;
+expression E;
+@@
+-p->addr_len = E;
+
+@@
+struct ether *p;
+expression E;
+@@
+-p->netdev_ops = E;
+
+@@
+struct ether *p;
+expression E;
+@@
+-p->watchdog_timeo = E;
+
+@@
+struct ether *p;
+expression E;
+@@
+-p->ethtool_ops = E;
index 93efcae..8d20043 100644 (file)
@@ -7,6 +7,13 @@ typedef qlock_t;
 @@
 expression E;
 @@
+-mutex_init(
++qlock_init(
+ E)
+
+@@
+expression E;
+@@
 -mutex_lock(
 +qlock(
  E)
@@ -50,3 +57,9 @@ expression VARP;
 @@
 -atomic_add(AMT, VARP)
 +atomic_add(VARP, AMT)
+
+@@
+expression E;
+@@
+-atomic_dec_and_test(E)
++atomic_sub_and_test(E, 1)