Adds script to build bootable USB drives
[akaros.git] / scripts / linux.cocci
1 @@
2 expression E;
3 @@
4 - __va(
5 +KADDR(
6  E);