coreboot-kgpe-d16/util/intelmetool/msr.h

18 lines
272 B
C

/* 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);
#endif