devproc: add user file to /proc/$PID
[akaros.git] / scripts / etherboot / func.cocci
1 @@
2 @@
3 -DEBUGFUNC(
4 +printd(
5  ...)
6
7 @@
8 @@
9 -DBGP(
10 +printd(
11  ...)
12
13 @@
14 @@
15 -DBG(
16 +printd(
17  ...)