/* intelmetool */ | |
/* SPDX-License-Identifier: GPL-2.0-or-later */ | |
#include <inttypes.h> | |
#ifndef __DARWIN__ | |
#define MSR_BOOTGUARD 0x13A | |
typedef struct { | |
unsigned int ebx; | |
unsigned int edx; | |
unsigned int ecx; | |
} regs_t; | |
extern int msr_bootguard(uint64_t *msr, int debug); | |
#endif |