Symbol: vmem_exec
sys/arch/hpcmips/stand/pbsdboot/pbsdboot.c
99
vmem_exec(start, argc, (char**)argbuf, bibuf);
sys/arch/hpcmips/stand/pbsdboot/pbsdboot.h
130
int vmem_exec(void *entry, int argc, char *argv[], struct bootinfo *bi);