1 /* intelmetool */ 2 /* SPDX-License-Identifier: GPL-2.0-or-later */ 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 16 extern int msr_bootguard(uint64_t *msr); 17 #endif 18