[bpt/coccinelle.git] / demos / vm.cocci

// Options: -D alloc=kmalloc -D free=kfree

@r@
identifier virtual.alloc, virtual.free;
expression x;
position p1,p2;
@@

x = alloc@p1(...);
...
free@p2(x);

@script:python@
p1 << r.p1;
p2 << r.p2;
alloc << virtual.alloc;
@@
cocci.print_main(alloc,p1);
cocci.print_secs("free",p2);
Commit	Line	Data
ae4735db C	1	// Options: -D alloc=kmalloc -D free=kfree
	2
	3	@r@
	4	identifier virtual.alloc, virtual.free;
	5	expression x;
	6	position p1,p2;
	7	@@
	8
	9	x = alloc@p1(...);
	10	...
	11	free@p2(x);
	12
	13	@script:python@
	14	p1 << r.p1;
	15	p2 << r.p2;
	16	alloc << virtual.alloc;
	17	@@
	18	cocci.print_main(alloc,p1);
	19	cocci.print_secs("free",p2);