Symbol: setup_kernel_args
sys/arch/hpc/stand/hpcboot/arch.cpp
81
_boot_arg->argc = menu.setup_kernel_args(v + sizeof(struct BootArgs),
sys/arch/hpc/stand/hpcboot/hpcmenu.h
167
int setup_kernel_args(vaddr_t, paddr_t, size_t);