blob: 44008d50c664b07df77c7c1aba1b8144049bbf7b [file] [log] [blame]
/* 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