Searched refs:vmem_exec (Results 1 – 3 of 3) sorted by relevance
99 vmem_exec(start, argc, (char**)argbuf, bibuf); in pbsdboot()
130 int vmem_exec(void *entry, int argc, char *argv[], struct bootinfo *bi);
59 vmem_exec(void *entry, int argc, char *argv[], struct bootinfo *bi) in vmem_exec() function