cafd66595d
Per document, for feature control MSR:
Bit 1 enables VMXON in SMX operation. If the bit is clear, execution
of VMXON in SMX operation causes a general-protection exception.
Bit 2 enables VMXON outside SMX operation. If the bit is clear, execution
of VMXON outside SMX operation causes a general-protection exception.
This patch is to enable this kind of check with SMX for VMXON in KVM.
Signed-off-by: Shane Wang <shane.wang@intel.com>
Signed-off-by: Avi Kivity <avi@redhat.com>
163 lines
4.1 KiB
C
163 lines
4.1 KiB
C
/*
|
|
* tboot.h: shared data structure with tboot and kernel and functions
|
|
* used by kernel for runtime support of Intel(R) Trusted
|
|
* Execution Technology
|
|
*
|
|
* Copyright (c) 2006-2009, Intel Corporation
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify it
|
|
* under the terms and conditions of the GNU General Public License,
|
|
* version 2, as published by the Free Software Foundation.
|
|
*
|
|
* This program is distributed in the hope it will be useful, but WITHOUT
|
|
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
|
|
* more details.
|
|
*
|
|
* You should have received a copy of the GNU General Public License along with
|
|
* this program; if not, write to the Free Software Foundation, Inc.,
|
|
* 51 Franklin St - Fifth Floor, Boston, MA 02110-1301 USA.
|
|
*
|
|
*/
|
|
|
|
#ifndef _LINUX_TBOOT_H
|
|
#define _LINUX_TBOOT_H
|
|
|
|
/* these must have the values from 0-5 in this order */
|
|
enum {
|
|
TB_SHUTDOWN_REBOOT = 0,
|
|
TB_SHUTDOWN_S5,
|
|
TB_SHUTDOWN_S4,
|
|
TB_SHUTDOWN_S3,
|
|
TB_SHUTDOWN_HALT,
|
|
TB_SHUTDOWN_WFS
|
|
};
|
|
|
|
#ifdef CONFIG_INTEL_TXT
|
|
#include <acpi/acpi.h>
|
|
/* used to communicate between tboot and the launched kernel */
|
|
|
|
#define TB_KEY_SIZE 64 /* 512 bits */
|
|
|
|
#define MAX_TB_MAC_REGIONS 32
|
|
|
|
struct tboot_mac_region {
|
|
u64 start; /* must be 64 byte -aligned */
|
|
u32 size; /* must be 64 byte -granular */
|
|
} __packed;
|
|
|
|
/* GAS - Generic Address Structure (ACPI 2.0+) */
|
|
struct tboot_acpi_generic_address {
|
|
u8 space_id;
|
|
u8 bit_width;
|
|
u8 bit_offset;
|
|
u8 access_width;
|
|
u64 address;
|
|
} __packed;
|
|
|
|
/*
|
|
* combines Sx info from FADT and FACS tables per ACPI 2.0+ spec
|
|
* (http://www.acpi.info/)
|
|
*/
|
|
struct tboot_acpi_sleep_info {
|
|
struct tboot_acpi_generic_address pm1a_cnt_blk;
|
|
struct tboot_acpi_generic_address pm1b_cnt_blk;
|
|
struct tboot_acpi_generic_address pm1a_evt_blk;
|
|
struct tboot_acpi_generic_address pm1b_evt_blk;
|
|
u16 pm1a_cnt_val;
|
|
u16 pm1b_cnt_val;
|
|
u64 wakeup_vector;
|
|
u32 vector_width;
|
|
u64 kernel_s3_resume_vector;
|
|
} __packed;
|
|
|
|
/*
|
|
* shared memory page used for communication between tboot and kernel
|
|
*/
|
|
struct tboot {
|
|
/*
|
|
* version 3+ fields:
|
|
*/
|
|
|
|
/* TBOOT_UUID */
|
|
u8 uuid[16];
|
|
|
|
/* version number: 5 is current */
|
|
u32 version;
|
|
|
|
/* physical addr of tb_log_t log */
|
|
u32 log_addr;
|
|
|
|
/*
|
|
* physical addr of entry point for tboot shutdown and
|
|
* type of shutdown (TB_SHUTDOWN_*) being requested
|
|
*/
|
|
u32 shutdown_entry;
|
|
u32 shutdown_type;
|
|
|
|
/* kernel-specified ACPI info for Sx shutdown */
|
|
struct tboot_acpi_sleep_info acpi_sinfo;
|
|
|
|
/* tboot location in memory (physical) */
|
|
u32 tboot_base;
|
|
u32 tboot_size;
|
|
|
|
/* memory regions (phys addrs) for tboot to MAC on S3 */
|
|
u8 num_mac_regions;
|
|
struct tboot_mac_region mac_regions[MAX_TB_MAC_REGIONS];
|
|
|
|
|
|
/*
|
|
* version 4+ fields:
|
|
*/
|
|
|
|
/* symmetric key for use by kernel; will be encrypted on S3 */
|
|
u8 s3_key[TB_KEY_SIZE];
|
|
|
|
|
|
/*
|
|
* version 5+ fields:
|
|
*/
|
|
|
|
/* used to 4byte-align num_in_wfs */
|
|
u8 reserved_align[3];
|
|
|
|
/* number of processors in wait-for-SIPI */
|
|
u32 num_in_wfs;
|
|
} __packed;
|
|
|
|
/*
|
|
* UUID for tboot data struct to facilitate matching
|
|
* defined as {663C8DFF-E8B3-4b82-AABF-19EA4D057A08} by tboot, which is
|
|
* represented as {} in the char array used here
|
|
*/
|
|
#define TBOOT_UUID {0xff, 0x8d, 0x3c, 0x66, 0xb3, 0xe8, 0x82, 0x4b, 0xbf,\
|
|
0xaa, 0x19, 0xea, 0x4d, 0x5, 0x7a, 0x8}
|
|
|
|
extern struct tboot *tboot;
|
|
|
|
static inline int tboot_enabled(void)
|
|
{
|
|
return tboot != NULL;
|
|
}
|
|
|
|
extern void tboot_probe(void);
|
|
extern void tboot_shutdown(u32 shutdown_type);
|
|
extern void tboot_sleep(u8 sleep_state, u32 pm1a_control, u32 pm1b_control);
|
|
extern struct acpi_table_header *tboot_get_dmar_table(
|
|
struct acpi_table_header *dmar_tbl);
|
|
extern int tboot_force_iommu(void);
|
|
|
|
#else
|
|
|
|
#define tboot_enabled() 0
|
|
#define tboot_probe() do { } while (0)
|
|
#define tboot_shutdown(shutdown_type) do { } while (0)
|
|
#define tboot_sleep(sleep_state, pm1a_control, pm1b_control) \
|
|
do { } while (0)
|
|
#define tboot_get_dmar_table(dmar_tbl) (dmar_tbl)
|
|
#define tboot_force_iommu() 0
|
|
|
|
#endif /* !CONFIG_INTEL_TXT */
|
|
|
|
#endif /* _LINUX_TBOOT_H */
|