137 static boot_args        *kernelBootArgs;  variable
300 	if (kernelBootArgs->PhysicalMemorySize > K64_MAXMEM) {  in physmap_init()
310 	highest_physaddr = kernelBootArgs->PhysicalMemorySize + 4 * GB;  in physmap_init()
722 		kernelBootArgs = (boot_args *)boot_args_start;  in vstart()
723 		lphysfree = kernelBootArgs->kaddr + kernelBootArgs->ksize;  in vstart()
728 		DBG("revision      0x%x\n", kernelBootArgs->Revision);  in vstart()
729 		DBG("version       0x%x\n", kernelBootArgs->Version);  in vstart()
730 		DBG("command line  %s\n", kernelBootArgs->CommandLine);  in vstart()
731 		DBG("memory map    0x%x\n", kernelBootArgs->MemoryMap);  in vstart()
732 		DBG("memory map sz 0x%x\n", kernelBootArgs->MemoryMapSize);  in vstart()
733 		DBG("kaddr         0x%x\n", kernelBootArgs->kaddr);  in vstart()
734 		DBG("ksize         0x%x\n", kernelBootArgs->ksize);  in vstart()
737 		    kernelBootArgs,  in vstart()
738 		    &kernelBootArgs->ksize,  in vstart()
739 		    &kernelBootArgs->kaddr);  in vstart()
740 		DBG("SMBIOS mem sz 0x%llx\n", kernelBootArgs->PhysicalMemorySize);  in vstart()
741 		DBG("KC_hdrs_vaddr %p\n", (void *)kernelBootArgs->KC_hdrs_vaddr);  in vstart()
743 		if (kernelBootArgs->Version >= 2 && kernelBootArgs->Revision >= 1 &&  in vstart()
744 		    kernelBootArgs->KC_hdrs_vaddr != 0) {  in vstart()
751 			i386_slide_and_rebase_image((uintptr_t)ml_static_ptovirt(kernelBootArgs->KC_hdrs_vaddr));  in vstart()
760 		kernelBootArgs = (boot_args *)  in vstart()
763 		    (unsigned long)boot_args_start, kernelBootArgs);  in vstart()
766 		kasan_reserve_memory(kernelBootArgs);  in vstart()
769 		PE_init_platform(FALSE, kernelBootArgs);  in vstart()
998 	i386_vm_init(maxmemtouse, IA32e, kernelBootArgs);  in i386_init()
1002 	PE_init_platform(TRUE, kernelBootArgs);  in i386_init()