134 static boot_args        *kernelBootArgs;  variable
297 	if (kernelBootArgs->PhysicalMemorySize > K64_MAXMEM) {  in physmap_init()
307 	highest_physaddr = kernelBootArgs->PhysicalMemorySize + 4 * GB;  in physmap_init()
719 		kernelBootArgs = (boot_args *)boot_args_start;  in vstart()
720 		lphysfree = kernelBootArgs->kaddr + kernelBootArgs->ksize;  in vstart()
725 		DBG("revision      0x%x\n", kernelBootArgs->Revision);  in vstart()
726 		DBG("version       0x%x\n", kernelBootArgs->Version);  in vstart()
727 		DBG("command line  %s\n", kernelBootArgs->CommandLine);  in vstart()
728 		DBG("memory map    0x%x\n", kernelBootArgs->MemoryMap);  in vstart()
729 		DBG("memory map sz 0x%x\n", kernelBootArgs->MemoryMapSize);  in vstart()
730 		DBG("kaddr         0x%x\n", kernelBootArgs->kaddr);  in vstart()
731 		DBG("ksize         0x%x\n", kernelBootArgs->ksize);  in vstart()
734 		    kernelBootArgs,  in vstart()
735 		    &kernelBootArgs->ksize,  in vstart()
736 		    &kernelBootArgs->kaddr);  in vstart()
737 		DBG("SMBIOS mem sz 0x%llx\n", kernelBootArgs->PhysicalMemorySize);  in vstart()
738 		DBG("KC_hdrs_vaddr %p\n", (void *)kernelBootArgs->KC_hdrs_vaddr);  in vstart()
740 		if (kernelBootArgs->Version >= 2 && kernelBootArgs->Revision >= 1 &&  in vstart()
741 		    kernelBootArgs->KC_hdrs_vaddr != 0) {  in vstart()
748 			i386_slide_and_rebase_image((uintptr_t)ml_static_ptovirt(kernelBootArgs->KC_hdrs_vaddr));  in vstart()
757 		kernelBootArgs = (boot_args *)  in vstart()
760 		    (unsigned long)boot_args_start, kernelBootArgs);  in vstart()
763 		kasan_reserve_memory(kernelBootArgs);  in vstart()
766 		PE_init_platform(FALSE, kernelBootArgs);  in vstart()
995 	i386_vm_init(maxmemtouse, IA32e, kernelBootArgs);  in i386_init()
999 	PE_init_platform(TRUE, kernelBootArgs);  in i386_init()