Lines Matching refs:x
31 expression x,from,to;
36 - x = strlen(from) + 1;
37 ... when != \( x = E1 \| from = E1 \)
38 - to = \(kmalloc\|kzalloc\)(x,flag);
40 ... when != \(x = E2 \| from = E2 \| to = E2 \)
42 ... when != \(x = E3 \| from = E3 \| to = E3 \)
43 - memcpy(to, from, x);
61 expression x,from,to;
67 * x = strlen(from) + 1;
68 ... when != \( x = E1 \| from = E1 \)
69 * to = \(kmalloc@p1\|kzalloc@p2\)(x,flag);
70 ... when != \(x = E2 \| from = E2 \| to = E2 \)
72 ... when != \(x = E3 \| from = E3 \| to = E3 \)
73 * memcpy@p2(to, from, x);