Defined in 1 files as a function:
Referenced in 1 files:
-
arch/x86/kvm/vmx/tdx.c
- line 243
- line 248
- line 254
- line 260
- line 281
- line 391
- line 398
- line 671
- line 717
- line 745
- line 763
- line 767
- line 866
- line 902
- line 926
- line 963
- line 990
- line 1056
- line 1113
- line 1159
- line 1160
- line 1161
- line 1162
- line 1163
- line 1179
- line 1248
- line 1293
- line 1320
- line 1360
- line 1438
- line 1491
- line 1510
- line 1546
- line 1570
- line 1618
- line 1895
- line 1905
- line 1917
- line 2033
- line 2141
- line 2946
- line 3131
- line 3217
Smatch caller information:
arch/x86/kvm/vmx/tdx.c tdvmcall_exit_type() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdvmcall_leaf() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdvmcall_set_return_code() -> to_tdx()
| 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 |
| CAPPED_DATA | 0 | vcpu | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_DATA | 0 | vcpu->arch.cr8 | 0-14 |
| USER_PTR | 0 | vcpu->arch.pdptrs | |
| HALF_LOCKED2 | 0 | &vcpu->kvm->srcu | |
| HALF_LOCKED2 | 0 | &vcpu->mutex |
arch/x86/kvm/vmx/tdx.c tdvmcall_set_return_val() -> to_tdx()
| 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 |
| CAPPED_DATA | 0 | vcpu | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_DATA | 0 | vcpu->arch.cr8 | 0-14 |
| USER_PTR | 0 | vcpu->arch.pdptrs | |
| HALF_LOCKED2 | 0 | &vcpu->kvm->srcu | |
| HALF_LOCKED2 | 0 | &vcpu->mutex |
arch/x86/kvm/vmx/tdx.c tdx_complete_get_td_vm_call_info() -> to_tdx()
| 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 |
| CAPPED_DATA | 0 | vcpu->kvm->mm | 1 |
| CAPPED_DATA | 0 | vcpu->kvm->srcu.srcu_ctrp | 1 |
| CAPPED_DATA | 0 | vcpu->vcpu_idx | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_DATA | 0 | vcpu->arch.cr8 | 0-14 |
| USER_PTR | 0 | vcpu->arch.pdptrs | |
| LOCK2 | 0 | &vcpu->kvm->srcu | |
| LOCK2 | 0 | &vcpu->mutex | |
| TYPE_LOCK | (struct kvm)->srcu | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/vmx/tdx.c tdx_complete_vmcall_map_gpa() -> to_tdx()
| 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 |
| CAPPED_DATA | 0 | vcpu->kvm->mm | 1 |
| CAPPED_DATA | 0 | vcpu->kvm->srcu.srcu_ctrp | 1 |
| CAPPED_DATA | 0 | vcpu->vcpu_idx | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_DATA | 0 | vcpu->arch.cr8 | 0-14 |
| USER_PTR | 0 | vcpu->arch.pdptrs | |
| LOCK2 | 0 | &vcpu->kvm->srcu | |
| LOCK2 | 0 | &vcpu->mutex | |
| TYPE_LOCK | (struct kvm)->srcu | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/vmx/tdx.c tdx_deliver_interrupt() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
arch/x86/kvm/vmx/tdx.c tdx_disassociate_vp() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
arch/x86/kvm/vmx/tdx.c tdx_emulate_cpuid() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_emulate_io() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_emulate_mmio() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_emulate_vmcall() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_emulate_vmcall() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_emulate_vmcall() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_emulate_vmcall() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_emulate_vmcall() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_exit_handlers_fastpath() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_flush_vp() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
arch/x86/kvm/vmx/tdx.c tdx_flush_vp() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | flags |
arch/x86/kvm/vmx/tdx.c tdx_get_exit_info() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_get_quote() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_get_td_vm_call_info() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_handle_ept_violation() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_handle_exit() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_inject_nmi() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_interrupt_allowed() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_is_sept_violation_unexpected_pending() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_load_mmu_pgd() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_map_gpa() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_protected_apic_has_interrupt() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_protected_apic_has_interrupt() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_report_fatal_error() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_setup_event_notify_interrupt() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_td_vcpu_init() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| CAPPED_DATA | 0 | vcpu | 1 |
| CAPPED_DATA | 0 | vcpu->arch.apic_base | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| LOCK2 | &kvm->lock | ||
| LOCK2 | &kvm->slots_lock | ||
| TYPE_LOCK | (struct kvm)->lock | ||
| TYPE_LOCK | (struct kvm)->slots_lock |
arch/x86/kvm/vmx/tdx.c tdx_to_vmx_exit_reason() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_vcpu_create() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_vcpu_enter_exit() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_vcpu_free() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_vcpu_init() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| CAPPED_DATA | 0 | vcpu | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| LOCK2 | &kvm->lock | ||
| LOCK2 | &kvm->slots_lock | ||
| TYPE_LOCK | (struct kvm)->lock | ||
| TYPE_LOCK | (struct kvm)->slots_lock |
arch/x86/kvm/vmx/tdx.c tdx_vcpu_init_mem_region() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| CAPPED_DATA | 0 | vcpu | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| LOCK2 | &kvm->lock | ||
| LOCK2 | &kvm->slots_lock | ||
| TYPE_LOCK | (struct kvm)->lock | ||
| TYPE_LOCK | (struct kvm)->slots_lock |
arch/x86/kvm/vmx/tdx.c tdx_vcpu_load() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_vcpu_needs_initialization() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/tdx.c tdx_vcpu_run() -> to_tdx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |