Add signal support to our basic thread0 scheduler
[akaros.git] / scripts / spatch / malloc.cocci
1 @ rulesm @
2 identifier t;
3 identifier f;
4 expression E1;
5 type T;
6 @@
7 T f(...){<...
8 t = smalloc(E1);
9 ...>}
10 @@
11 identifier rulesm.f;
12 expression E1;
13 @@
14
15 - smalloc(E1
16 + kzmalloc(E1, KERN_WAIT
17    )
18
19 @ rulem @
20 identifier t;
21 identifier f;
22 expression E1;
23 type T;
24 @@
25 T f(...){<...
26 t = malloc(E1);
27 ...>}
28 @@
29 identifier rulem.f;
30 expression E1;
31 @@
32
33 - malloc(E1
34 + kzmalloc(E1, KERN_WAIT
35    )
36
37 @@
38 @@
39 -getcallerpc(...);
40
41 @@
42 @@
43 -setmalloctag(...);
44
45 @@
46 @@
47 -free(
48 +kfree(
49 ...);
50
51 @@
52 @@
53 -mallocz(
54 +kzmalloc(
55 ...);