ref: 8294be6e7c9032e3c472018b53154d5b4faec00c
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*);