bootargv         2935 arch/i386/i386/machdep.c 		if (extent_alloc_region(iomem_ex, (paddr_t)bootargv, bootargc,
bootargv         2939 arch/i386/i386/machdep.c 		pmap_enter(pmap_kernel(), (vaddr_t)bootargp, (paddr_t)bootargv,
bootargv         2956 arch/i386/i386/machdep.c 	   round_page((vaddr_t)(bootargv + bootargc)),
bootargv           47 stand/boot/bootarg.h extern void *bootargv;