osfmk/i386/i386_init.c

117 static boot_args	*kernelBootArgs;
380 		kernelBootArgs = (boot_args *)boot_args_start;
381 		lphysfree = kernelBootArgs->kaddr + kernelBootArgs->ksize;
386 		DBG("revision      0x%x\n", kernelBootArgs->Revision);
387 		DBG("version       0x%x\n", kernelBootArgs->Version);
388 		DBG("command line  %s\n", kernelBootArgs->CommandLine);
389 		DBG("memory map    0x%x\n", kernelBootArgs->MemoryMap);
390 		DBG("memory map sz 0x%x\n", kernelBootArgs->MemoryMapSize);
391 		DBG("kaddr         0x%x\n", kernelBootArgs->kaddr);
392 		DBG("ksize         0x%x\n", kernelBootArgs->ksize);
395 			kernelBootArgs,
396 			&kernelBootArgs->ksize,
397 			&kernelBootArgs->kaddr);
412 		kernelBootArgs = (boot_args *)
414 		DBG("i386_init(0x%lx) kernelBootArgs=%p\n",
415 		    (unsigned long)boot_args_start, kernelBootArgs);
417 		PE_init_platform(FALSE, kernelBootArgs);
572 	i386_vm_init(maxmemtouse, IA32e, kernelBootArgs);
576 	PE_init_platform(TRUE, kernelBootArgs);