| Lee Leahy | 0946ec3 | 2015-04-20 15:24:54 -0700 | [diff] [blame] | 1 | /* |
| 2 | * This file is part of the coreboot project. |
| 3 | * |
| 4 | * Copyright (C) 2015 Intel Corporation. |
| 5 | * |
| 6 | * This program is free software; you can redistribute it and/or modify |
| 7 | * it under the terms of the GNU General Public License as published by |
| 8 | * the Free Software Foundation; version 2 of the License. |
| 9 | * |
| 10 | * This program is distributed in the hope that it will be useful, |
| 11 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 12 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 13 | * GNU General Public License for more details. |
| Lee Leahy | 0946ec3 | 2015-04-20 15:24:54 -0700 | [diff] [blame] | 14 | */ |
| 15 | |
| 16 | #ifndef _INTEL_COMMON_UTIL_H_ |
| 17 | #define _INTEL_COMMON_UTIL_H_ |
| 18 | |
| 19 | #include <arch/cpu.h> |
| Lee Leahy | 9590992 | 2016-01-29 14:35:13 -0800 | [diff] [blame] | 20 | #include <cpu/x86/msr.h> |
| Lee Leahy | 0946ec3 | 2015-04-20 15:24:54 -0700 | [diff] [blame] | 21 | #include <stdint.h> |
| 22 | |
| 23 | asmlinkage void soc_display_mtrrs(void); |
| Lee Leahy | 0946ec3 | 2015-04-20 15:24:54 -0700 | [diff] [blame] | 24 | uint32_t soc_get_variable_mtrr_count(uint64_t *msr); |
| Lee Leahy | 0946ec3 | 2015-04-20 15:24:54 -0700 | [diff] [blame] | 25 | |
| 26 | #endif /* _INTEL_COMMON_UTIL_H_ */ |