Defined in 2 files as a function:
- arch/x86/kvm/vmx/common.h, line 65 (as a function)
- arch/x86/kvm/vmx/common.h, line 73 (as a function)
Referenced in 4 files:
-
arch/x86/kvm/vmx/main.c
- line 75
- line 83
- line 93
- line 103
- line 117
- line 125
- line 135
- line 145
- line 151
- line 160
- line 168
- line 178
- line 198
- line 212
- line 220
- line 229
- line 237
- line 245
- line 253
- line 271
- line 283
- line 292
- line 300
- line 308
- line 317
- line 328
- line 336
- line 344
- line 353
- line 364
- line 372
- line 380
- line 388
- line 399
- line 407
- line 415
- line 423
- line 431
- line 439
- line 449
- line 457
- line 467
- line 475
- line 488
- line 496
- line 504
- line 512
- line 520
- line 528
- line 538
- line 548
- line 556
- line 564
- line 578
- line 590
- line 598
- line 607
- line 616
- line 626
- line 634
- line 647
- line 655
- line 663
- line 671
- line 679
- line 687
- line 698
- line 707
- line 718
- line 726
- line 734
- line 744
- line 777
- line 786
- line 795
- line 804
- line 815
- line 824
- line 833
- line 849
- line 857
- arch/x86/kvm/vmx/pmu_intel.c
- arch/x86/kvm/vmx/posted_intr.c
- arch/x86/kvm/vmx/vmx.h
Smatch caller information:
arch/x86/kvm/vmx/posted_intr.c vmx_needs_pi_wakeup() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/posted_intr.c vmx_vcpu_pi_put() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/posted_intr.c vmx_vcpu_pi_put() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/nested.c vmx_get_exit_qual() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| BUF_SIZE | 0 | vcpu | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOSPEC | 0 | vcpu->arch.mmio_gfn | |
| NOSPEC | 0 | vcpu->arch.xen.runstate2_cache.pfn | |
| NOSPEC | 0 | vcpu->arch.xen.runstate_cache.pfn | |
| NOSPEC | 0 | vcpu->arch.xen.runstate_cache.uhva | |
| USER_DATA | 0 | vcpu->arch.apic->sipi_vector | 1-255[c] |
| USER_DATA | 0 | vcpu->arch.cr8 | 0-14 |
| USER_DATA | 0 | vcpu->arch.exception.payload | 0-u64max |
| USER_DATA | 0 | vcpu->arch.mmio_gfn | 0-4503599627370495[c] |
| USER_DATA | 0 | vcpu->arch.mmio_gva | 0,4096-u64max[c] |
| USER_DATA | 0 | vcpu->arch.mmu->root.pgd | 0-u64max |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.gpa | 0-18446744073709551614[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.pfn | 0-4503599627370494[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.uhva | 0-u64max[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.gpa | 0-18446744073709551614[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.pfn | 0-4503599627370494[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.uhva | 0-u64max[c] |
| USER_DATA | 0 | vcpu->run->memory_fault.gpa | 0,4096-18446744073709547520[c] |
| USER_DATA | 0 | *vcpu->arch.emulate_ctxt->fetch.end | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_external_spt_cache.capacity | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_external_spt_cache.kmem_cache->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_external_spt_cache.nobjs | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_page_header_cache.capacity | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_page_header_cache.kmem_cache->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_page_header_cache.nobjs | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_pte_list_desc_cache.capacity | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_pte_list_desc_cache.nobjs | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_shadow_page_cache.capacity | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_shadow_page_cache.kmem_cache->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_shadow_page_cache.nobjs | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_shadowed_info_cache.capacity | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_shadowed_info_cache.nobjs | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.pio.count | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.pio.size | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->run->io.count | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->run->io.size | |
| USER_PTR | 0 | vcpu->arch.emulate_ctxt->fetch.end | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.intercept_message | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved2 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved3 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved4 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.virtualization_fault_information | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.vtl_ret_actions | |
| USER_PTR | 0 | vcpu->arch.pdptrs | |
| HALF_LOCKED2 | 0 | &vcpu->kvm->srcu | |
| HALF_LOCKED2 | 0 | &vcpu->mutex |
arch/x86/kvm/vmx/nested.c vmx_get_intr_info() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/pmu_intel.c intel_pmu_lbr_is_compatible() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| CAPPED_DATA | 0 | vcpu->arch.cpuid_nent | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/pmu_intel.c intel_pmu_lbr_is_enabled() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.intercept_message | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved2 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved3 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved4 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.virtualization_fault_information | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.vtl_ret_actions | |
| USER_PTR | 0 | vcpu->arch.pdptrs |
arch/x86/kvm/vmx/pmu_intel.c vcpu_to_lbr_desc() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/pmu_intel.c vcpu_to_lbr_records() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | vcpu | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.intercept_message | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved2 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved3 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved4 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.virtualization_fault_information | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.vtl_ret_actions | |
| USER_PTR | 0 | vcpu->arch.pdptrs | |
| HALF_LOCKED2 | 0 | &vcpu->kvm->srcu |
arch/x86/kvm/vmx/main.c vt_apic_init_signal_blocked() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_cache_reg() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_cancel_hv_timer() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_cancel_injection() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_check_emulate_instruction() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_complete_emulated_msr() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_deliver_interrupt() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|
arch/x86/kvm/vmx/main.c vt_enable_irq_window() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_enable_nmi_window() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_enable_smi_window() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_enter_smm() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_flush_tlb_all() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_flush_tlb_current() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_flush_tlb_guest() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_flush_tlb_gva() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_get_cpl() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_get_cpl_no_cache() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_get_cs_db_l_bits() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_get_entry_info() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_get_exit_info() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_get_gdt() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_get_idt() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_get_if_flag() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_get_interrupt_shadow() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_get_l2_tsc_multiplier() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_get_l2_tsc_offset() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_get_msr() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_get_nmi_mask() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_get_rflags() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_get_segment() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_get_segment_base() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_handle_exit() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_hwapic_isr_update() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_inject_exception() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_inject_irq() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_inject_nmi() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_interrupt_allowed() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_is_valid_cr0() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_is_valid_cr4() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_leave_smm() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_load_eoi_exitmap() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_load_mmu_pgd() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_nmi_allowed() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_patch_hypercall() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_prepare_switch_to_guest() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_recalc_intercepts() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_refresh_apicv_exec_ctrl() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_set_apic_access_page_addr() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_set_cr0() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_set_cr4() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_set_dr7() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_set_efer() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_set_gdt() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_set_hv_timer() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_set_idt() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_set_interrupt_shadow() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_set_msr() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_set_nmi_mask() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_set_rflags() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_set_segment() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_set_virtual_apic_mode() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_setup_mce() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_smi_allowed() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_sync_dirty_debug_regs() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_sync_pir_to_irr() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_unhandleable_emulation_required() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_update_cpu_dirty_logging() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_update_cr8_intercept() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_update_exception_bitmap() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_vcpu_after_set_cpuid() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_vcpu_create() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_vcpu_free() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_vcpu_load() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_vcpu_mem_enc_ioctl() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | vcpu | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| LOCK2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/vmx/main.c vt_vcpu_mem_enc_unlocked_ioctl() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_vcpu_needs_initialization() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_vcpu_put() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_vcpu_reset() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_vcpu_run() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_write_tsc_multiplier() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/main.c vt_write_tsc_offset() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c vmx_get_exit_qual() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 5 |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c vmx_get_intr_info() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 5 |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/vmx.c vmx_get_exit_qual() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/vmx.c vmx_get_intr_info() -> is_td_vcpu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |