src/add-ons/kernel/drivers/nvmm/nvmm.c

51

const struct nvmm_impl *nvmm_impl __read_mostly = NULL;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

518

static uint8_t *svm_asidmap __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

519

static uint32_t svm_maxasid __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

522

static bool svm_decode_assist __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

523

static uint32_t svm_ctrl_tlb_flush __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

526

static uint64_t svm_xcr0_mask __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

844

static uint32_t svm_cpuid_max_basic __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

845

static uint32_t svm_cpuid_max_extended __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1246

static uint32_t vmx_cpuid_max_basic __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1247

static uint32_t vmx_cpuid_max_extended __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

622

static size_t vmx_msrlist_entry_nmsr __read_mostly = VMX_MSRLIST_EXIT_NMSR;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

666

static uint64_t vmx_tlb_flush_op __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

667

static uint64_t vmx_ept_flush_op __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

668

static uint64_t vmx_eptp_type __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

669

static bool vmx_ept_has_ad __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

671

static uint64_t vmx_pinbased_ctls __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

672

static uint64_t vmx_procbased_ctls __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

673

static uint64_t vmx_procbased_ctls2 __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

674

static uint64_t vmx_entry_ctls __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

675

static uint64_t vmx_exit_ctls __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

677

static uint64_t vmx_cr0_fixed0 __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

678

static uint64_t vmx_cr0_fixed1 __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

679

static uint64_t vmx_cr4_fixed0 __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

680

static uint64_t vmx_cr4_fixed1 __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

731

static uint8_t *vmx_asidmap __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

732

static uint32_t vmx_maxasid __read_mostly;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

736

static uint64_t vmx_xcr0_mask __read_mostly;

src/libs/nvmm/driver/nvmm.c

51

const struct nvmm_impl *nvmm_impl __read_mostly = NULL;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

518

static uint8_t *svm_asidmap __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

519

static uint32_t svm_maxasid __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

522

static bool svm_decode_assist __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

523

static uint32_t svm_ctrl_tlb_flush __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

526

static uint64_t svm_xcr0_mask __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

844

static uint32_t svm_cpuid_max_basic __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

845

static uint32_t svm_cpuid_max_extended __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1246

static uint32_t vmx_cpuid_max_basic __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1247

static uint32_t vmx_cpuid_max_extended __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

622

static size_t vmx_msrlist_entry_nmsr __read_mostly = VMX_MSRLIST_EXIT_NMSR;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

666

static uint64_t vmx_tlb_flush_op __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

667

static uint64_t vmx_ept_flush_op __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

668

static uint64_t vmx_eptp_type __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

669

static bool vmx_ept_has_ad __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

671

static uint64_t vmx_pinbased_ctls __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

672

static uint64_t vmx_procbased_ctls __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

673

static uint64_t vmx_procbased_ctls2 __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

674

static uint64_t vmx_entry_ctls __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

675

static uint64_t vmx_exit_ctls __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

677

static uint64_t vmx_cr0_fixed0 __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

678

static uint64_t vmx_cr0_fixed1 __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

679

static uint64_t vmx_cr4_fixed0 __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

680

static uint64_t vmx_cr4_fixed1 __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

731

static uint8_t *vmx_asidmap __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

732

static uint32_t vmx_maxasid __read_mostly;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

736

static uint64_t vmx_xcr0_mask __read_mostly;