ref: 94443daf8e248e65afc8d3f17f26efea22748b51
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*);