#include <linux/init.h>
#include <linux/kernel.h>
#include <linux/string.h>
#include <linux/bitops.h>
#include <linux/smp.h>
#include <linux/sched.h>
#include <linux/thread_info.h>
#include <linux/module.h>
#include <linux/uaccess.h>
#include <asm/processor.h>
#include <asm/pgtable.h>
#include <asm/msr.h>
#include <asm/bugs.h>
#include <asm/cpu.h>
#include "cpu.h"
Go to the source code of this file.
#define TLB_DATA0_2M_4M 0x23 |
#define TLB_DATA0_4K 0x21 |
#define TLB_DATA0_4M 0x22 |
#define TLB_DATA_2M_4M 0x13 |
#define TLB_DATA_4K_4M 0x14 |
#define TLB_INST_2M_4M 0x03 |
#define TLB_INST_ALL 0x05 |
#define X86_VMX_FEATURE_PROC_CTLS2_EPT 0x00000002 |
#define X86_VMX_FEATURE_PROC_CTLS2_VIRT_APIC 0x00000001 |
#define X86_VMX_FEATURE_PROC_CTLS2_VPID 0x00000020 |
#define X86_VMX_FEATURE_PROC_CTLS_2ND_CTLS 0x80000000 |
#define X86_VMX_FEATURE_PROC_CTLS_TPR_SHADOW 0x00200000 |
#define X86_VMX_FEATURE_PROC_CTLS_VNMI 0x00400000 |
cpu_dev_register |
( |
intel_cpu_dev |
| ) |
|