|
/* 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
|