src: Replace min/max() with MIN/MAX()
Change-Id: I63b95144f2022685c60a1bd6de5af3c1f059992e Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr> Reviewed-on: https://review.coreboot.org/c/coreboot/+/37828 Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com> Reviewed-by: Patrick Georgi <pgeorgi@google.com> Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
This commit is contained in:
committed by
Patrick Georgi
parent
361a935332
commit
ba9b504ec5
@@ -14,8 +14,8 @@
|
||||
* GNU General Public License for more details.
|
||||
*/
|
||||
|
||||
#include <commonlib/helpers.h>
|
||||
#include <stdint.h>
|
||||
#include <stdlib.h>
|
||||
#include <arch/cpu.h>
|
||||
#include <device/mmio.h>
|
||||
#include <device/pci_ops.h>
|
||||
@@ -436,7 +436,7 @@ static unsigned int find_common_clock_cas(sysinfo_t *const sysinfo,
|
||||
|
||||
unsigned int clock = 8000 / tCKmin;
|
||||
if ((clock > sysinfo->max_ddr3_mt / 2) || (clock > fsb_mhz / 2)) {
|
||||
int new_clock = min(sysinfo->max_ddr3_mt / 2, fsb_mhz / 2);
|
||||
int new_clock = MIN(sysinfo->max_ddr3_mt / 2, fsb_mhz / 2);
|
||||
printk(BIOS_SPEW, "DIMMs support %d MHz, but chipset only runs at up to %d. Limiting...\n",
|
||||
clock, new_clock);
|
||||
clock = new_clock;
|
||||
|
Reference in New Issue
Block a user