ref: 693f5ff94696f7386d9adb6310b5cebb954bd64f
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*);