@ print@ | |
@@ | |
-print( | |
+printd( | |
...) | |
@ kopen@ | |
@@ | |
-kopen( | |
+sysopen( | |
...) | |
@ kclose @ | |
@@ | |
-kclose( | |
+sysclose( | |
...) | |
@ kread@ | |
@@ | |
-kread( | |
+sysread( | |
...) | |
@ qnoblock@ | |
@@ | |
-qnoblock( | |
+qdropoverflow( | |
...) | |
@ channel @ | |
identifier d; | |
@@ | |
-Chan | |
+struct chan | |
d; | |
@ channelstar @ | |
identifier d; | |
@@ | |
-Chan * | |
+struct chan * | |
d; | |
@mount@ | |
identifier d; | |
@@ | |
-Mount | |
+struct mount | |
d; | |
@ mountstar @ | |
identifier d; | |
@@ | |
-Chan * | |
+struct mount * | |
d; | |
@uvlong@ | |
identifier d; | |
@@ | |
-uvlong | |
+uint64_t | |
d; | |
@vlong@ | |
identifier d; | |
@@ | |
-vlong | |
+int64_t | |
d; | |
@ulong@ | |
identifier d; | |
@@ | |
-ulong | |
+uint32_t | |
d; | |
@ushort@ | |
identifier d; | |
@@ | |
-ushort | |
+uint16_t | |
d; | |
@ rulesm @ | |
identifier t; | |
identifier f; | |
expression E1; | |
type T; | |
@@ | |
T f(...){<... | |
t = smalloc(E1); | |
...>} | |
@@ | |
identifier rulesm.f; | |
expression E1; | |
@@ | |
- smalloc(E1 | |
+ kzmalloc(E1, 0 | |
) | |
@ rulem @ | |
identifier t; | |
identifier f; | |
expression E1; | |
type T; | |
@@ | |
T f(...){<... | |
t = malloc(E1); | |
...>} | |
@@ | |
identifier rulem.f; | |
expression E1; | |
@@ | |
- malloc(E1 | |
+ kzmalloc(E1, 0 | |
) | |
@@ | |
@@ | |
-getcallerpc(...); | |
@@ | |
@@ | |
-setmalloctag(...); | |
@@ | |
type T; | |
@@ | |
-T validname0(...){...} | |
@@ | |
type T; | |
@@ | |
-T kstrcpy(...){...} | |
@@ | |
@@ | |
-if (up){ | |
+if (current){ | |
... } else {...} | |
@@ | |
expression E; | |
@@ | |
-strcpy(up->errstr, | |
+set_errstr( | |
E) | |
@@ | |
@@ | |
-saveregisters(...); | |
@@ | |
@@ | |
-saveregisters(...){...} | |
@@ | |
@@ | |
+// | |
muxclose(...); |