| @ 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 | |
| ) |