*
* @APPLE_LICENSE_HEADER_START@
*
- * Copyright (c) 1999-2003 Apple Computer, Inc. All Rights Reserved.
- *
* This file contains Original Code and/or Modifications of Original Code
* as defined in and that are subject to the Apple Public Source License
* Version 2.0 (the 'License'). You may not use this file except in
* Sets up platform parameters.
* Returns: nothing
*/
-void pe_identify_machine(boot_args *args)
+void pe_identify_machine(__unused boot_args *args)
{
// Clear the gPEClockFrequencyInfo struct
bzero((void *)&gPEClockFrequencyInfo, sizeof(clock_frequency_info_t));
// Start with default values.
- gPEClockFrequencyInfo.timebase_frequency_hz = 25000000;
- gPEClockFrequencyInfo.bus_frequency_hz = 100000000;
- gPEClockFrequencyInfo.cpu_frequency_hz = 300000000;
+ gPEClockFrequencyInfo.timebase_frequency_hz = 1000000000;
+ gPEClockFrequencyInfo.bus_frequency_hz = 100000000;
+ gPEClockFrequencyInfo.cpu_frequency_hz = 300000000;
gPEClockFrequencyInfo.bus_frequency_min_hz = gPEClockFrequencyInfo.bus_frequency_hz;
gPEClockFrequencyInfo.bus_frequency_max_hz = gPEClockFrequencyInfo.bus_frequency_hz;