oprofile: preliminary design for queues between cores and device
[akaros.git] / scripts / linux.cocci
1 @@
2 expression E;
3 @@
4 - __va(
5 +KADDR(
6  E);