@ rulesm @ | |
identifier t; | |
identifier f; | |
expression E1; | |
type T; | |
@@ | |
T f(...){<... | |
t = smalloc(E1); | |
...>} | |
@@ | |
identifier rulesm.f; | |
expression E1; | |
@@ | |
- smalloc(E1 | |
+ kzmalloc(E1, KERN_WAIT | |
) | |
@ rulem @ | |
identifier t; | |
identifier f; | |
expression E1; | |
type T; | |
@@ | |
T f(...){<... | |
t = malloc(E1); | |
...>} | |
@@ | |
identifier rulem.f; | |
expression E1; | |
@@ | |
- malloc(E1 | |
+ kzmalloc(E1, KERN_WAIT | |
) | |
@@ | |
@@ | |
-getcallerpc(...); | |
@@ | |
@@ | |
-setmalloctag(...); | |
@@ | |
@@ | |
-free( | |
+kfree( | |
...); | |
@@ | |
@@ | |
-mallocz( | |
+kzmalloc( | |
...); | |
@@ | |
expression E1; | |
@@ | |
-allocb(E1 | |
+block_alloc(E1, MEM_WAIT | |
) | |
@@ | |
expression E1; | |
@@ | |
-iallocb(E1 | |
+block_alloc(E1, MEM_ATOMIC | |
) |