Patrick Georgi | afd4c87 | 2020-05-05 23:43:18 +0200 | [diff] [blame] | 1 | /* intelmetool */ |
Patrick Georgi | ac95903 | 2020-05-05 22:49:26 +0200 | [diff] [blame] | 2 | /* SPDX-License-Identifier: GPL-2.0-or-later */ |
Philipp Deppenwiese | 73add17 | 2016-08-26 02:10:51 +0200 | [diff] [blame] | 3 | |
| 4 | #include <inttypes.h> |
| 5 | |
| 6 | #ifndef __DARWIN__ |
| 7 | |
| 8 | #define MSR_BOOTGUARD 0x13A |
| 9 | |
| 10 | typedef struct { |
| 11 | unsigned int ebx; |
| 12 | unsigned int edx; |
| 13 | unsigned int ecx; |
| 14 | } regs_t; |
| 15 | |
Pablo Stebler | 9ac91d2 | 2020-09-18 10:32:22 +0200 | [diff] [blame] | 16 | extern int msr_bootguard(uint64_t *msr); |
Philipp Deppenwiese | 73add17 | 2016-08-26 02:10:51 +0200 | [diff] [blame] | 17 | #endif |