ref: 611dced75f0a6c9fd4b35b88ee0dd9ac5806cb54
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*);