Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/vmx/tdx.c tdx_vcpu_ioctl() -> tdx_get_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | cmd | 619527570765950976 |
| DATA_SOURCE | 0 | argp | $1 |
| LOCK2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/vmx/tdx.c tdx_vcpu_unlocked_ioctl() -> tdx_get_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | cmd | 2459314365732003840 |
| DATA_SOURCE | 0 | argp | $1 |
arch/x86/kvm/vmx/tdx.c tdx_vm_ioctl() -> tdx_get_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | cmd | 5531602926987624448 |
| DATA_SOURCE | 0 | argp | $1 |