Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
arch/x86/kvm/vmx/nested.c prepare_vmcs02() -> kvm_calc_nested_tsc_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| UNITS | 0 | l1_offset | unit_byte |
arch/x86/kvm/x86.c kvm_vcpu_write_tsc_offset() -> kvm_calc_nested_tsc_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | l1_offset | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | l1_offset | 0-u64max |
| UNITS | 0 | l1_offset | unit_byte |
| HALF_LOCKED2 | &kvm->arch.tsc_write_lock | ||
| HALF_LOCKED2 | flags |
arch/x86/kvm/svm/nested.c nested_vmcb02_prepare_control() -> kvm_calc_nested_tsc_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| USER_DATA | 1 | l2_offset | 0-u64max |
| UNITS | 0 | l1_offset | unit_byte |
| UNITS | 1 | l2_offset | unit_byte |
| UNITS | 2 | l2_multiplier | unit_byte |