- kernelBootArgs = (KernelBootArgs_t *) boot_args_start;
- end = round_page( kernelBootArgs->kaddr + kernelBootArgs->ksize );
-
- return end;
+ kernelBootArgs = (KernelBootArgs_t *)
+ ml_static_ptovirt(boot_args_start);
+ pp = (struct KernelBootArgs *) kernelBootArgs;
+ pp->configEnd = (char *)
+ ml_static_ptovirt((vm_offset_t) pp->configEnd);
+ for (i = 0; i < pp->numBootDrivers; i++) {
+ pp->driverConfig[i].address = (unsigned)
+ ml_static_ptovirt(pp->driverConfig[i].address);
+ }
+ return;