ref: db3b70f1424dfd8c5ea45206790df066c53bfab0
dir: /include/vm.h/
/* * All the virtual machine interfaces */ #include "/usr/inferno/include/interp.h" #include "/usr/inferno/include/isa.h" #include "/usr/inferno/libinterp/runt.h" int srvf2c(char*, char*, int, Sys_FileIO*);