93 	fix_address(gKernelArgs.boot_volume);  in convert_kernel_args()
94 	fix_address(gKernelArgs.vesa_modes);  in convert_kernel_args()
95 	fix_address(gKernelArgs.edid_info);  in convert_kernel_args()
96 	fix_address(gKernelArgs.debug_output);  in convert_kernel_args()
97 	fix_address(gKernelArgs.boot_splash);  in convert_kernel_args()
101 	if (gKernelArgs.kernel_image->elf_class == ELFCLASS64) {  in convert_kernel_args()
102 		convert_preloaded_image<preloaded_elf64_image>(gKernelArgs.kernel_image);  in convert_kernel_args()
104 		convert_preloaded_image<preloaded_elf32_image>(gKernelArgs.kernel_image);  in convert_kernel_args()
106 	fix_address(gKernelArgs.kernel_image);  in convert_kernel_args()
110 	preloaded_image* image = gKernelArgs.preloaded_images;  in convert_kernel_args()
111 	fix_address(gKernelArgs.preloaded_images);  in convert_kernel_args()
123 	driver_settings_file* file = gKernelArgs.driver_settings;  in convert_kernel_args()
124 	fix_address(gKernelArgs.driver_settings);  in convert_kernel_args()
137 	if (gKernelArgs.kernel_image->elf_class == ELFCLASS64) {  in get_kernel_entry()
139 			gKernelArgs.kernel_image.Pointer());  in get_kernel_entry()
141 	} else if (gKernelArgs.kernel_image->elf_class == ELFCLASS32) {  in get_kernel_entry()
143 			gKernelArgs.kernel_image.Pointer());  in get_kernel_entry()
154 	if (gKernelArgs.kernel_image->elf_class == ELFCLASS64) {  in get_kernel_regions()
156 			gKernelArgs.kernel_image.Pointer());  in get_kernel_regions()
162 	} else if (gKernelArgs.kernel_image->elf_class == ELFCLASS32) {  in get_kernel_regions()
164 			gKernelArgs.kernel_image.Pointer());  in get_kernel_regions()
204 	gKernelArgs.cpu_kstack[0].start = fix_address((addr_t)stack_address);  in platform_start_kernel()
205 	gKernelArgs.cpu_kstack[0].size = KERNEL_STACK_SIZE  in platform_start_kernel()
207 	dprintf("Kernel stack at %#" B_PRIx64 "\n", gKernelArgs.cpu_kstack[0].start);  in platform_start_kernel()
252 	gKernelArgs.platform_args.apm.version = 0;  in efi_main()