Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/vmx/posted_intr.c is_td_vcpu() -> is_td()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
UNITS 0 kvm unit_byte

arch/x86/kvm/vmx/nested.c is_td_vcpu() -> is_td()

Type Parameter Key Value
UNITS 0 kvm unit_byte
HALF_LOCKED2 0 &kvm->srcu

arch/x86/kvm/vmx/pmu_intel.c is_td_vcpu() -> is_td()

Type Parameter Key Value
UNITS 0 kvm unit_byte
HALF_LOCKED2 0 &kvm->srcu

arch/x86/kvm/vmx/main.c is_td_vcpu() -> is_td()

Type Parameter Key Value
UNITS 0 kvm unit_byte
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/vmx/main.c vt_gmem_max_mapping_level() -> is_td()

Type Parameter Key Value
DATA_SOURCE 0 kvm $0

arch/x86/kvm/vmx/main.c vt_has_emulated_msr() -> is_td()

Type Parameter Key Value
PARAM_VALUE 0 kvm 1-u64max
DATA_SOURCE 0 kvm $0

arch/x86/kvm/vmx/main.c vt_mem_enc_ioctl() -> is_td()

Type Parameter Key Value
DATA_SOURCE 0 kvm $0

arch/x86/kvm/vmx/main.c vt_set_identity_map_addr() -> is_td()

Type Parameter Key Value
DATA_SOURCE 0 kvm $0

arch/x86/kvm/vmx/main.c vt_set_tss_addr() -> is_td()

Type Parameter Key Value
DATA_SOURCE 0 kvm $0

arch/x86/kvm/vmx/main.c vt_tdp_has_smep() -> is_td()

Type Parameter Key Value
DATA_SOURCE 0 kvm $0

arch/x86/kvm/vmx/main.c vt_vcpu_precreate() -> is_td()

Type Parameter Key Value
DATA_SOURCE 0 kvm $0

arch/x86/kvm/vmx/main.c vt_vm_destroy() -> is_td()

Type Parameter Key Value
DATA_SOURCE 0 kvm $0

arch/x86/kvm/vmx/main.c vt_vm_init() -> is_td()

Type Parameter Key Value
DATA_SOURCE 0 kvm $0

arch/x86/kvm/vmx/main.c vt_vm_pre_destroy() -> is_td()

Type Parameter Key Value
DATA_SOURCE 0 kvm $0

arch/x86/kvm/vmx/tdx.c is_td_vcpu() -> is_td()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 0 kvm->arch.vm_type 5
UNITS 0 kvm unit_byte

arch/x86/kvm/vmx/vmx.c is_td_vcpu() -> is_td()

Type Parameter Key Value
UNITS 0 kvm unit_byte