Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/svm/nested.c nested_copy_vmcb_control_to_cache() -> __nested_copy_vmcb_control_to_cache()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | to | 4096-ptr_max |
| BUF_SIZE | 2 | from | (-1),1024 |
| BUF_SIZE | 2 | from | (-1),1024 |
| DATA_SOURCE | 2 | from | $1 |
| NOCHECK_CALL | |||
| USER_DATA | 2 | from->allowed_sev_features | 0-u64max |
| USER_DATA | 2 | from->asid | 0-u32max |
| USER_DATA | 2 | from->avic_backing_page | 0-u64max |
| USER_DATA | 2 | from->avic_logical_id | 0-u64max |
| USER_DATA | 2 | from->avic_physical_id | 0-u64max |
| USER_DATA | 2 | from->avic_vapic_bar | 0-u64max |
| USER_DATA | 2 | from->bus_lock_counter | 0-u16max |
| USER_DATA | 2 | from->clean | 0-u32max |
| USER_DATA | 2 | from->erap_ctl | 0-255 |
| USER_DATA | 2 | from->event_inj | 0-u32max |
| USER_DATA | 2 | from->event_inj_err | 0-u32max |
| USER_DATA | 2 | from->exit_code | 0-u64max |
| USER_DATA | 2 | from->exit_info_1 | 0-u64max |
| USER_DATA | 2 | from->exit_info_2 | 0-u64max |
| USER_DATA | 2 | from->exit_int_info | 0-u32max |
| USER_DATA | 2 | from->exit_int_info_err | 0-u32max |
| USER_DATA | 2 | from->ghcb_gpa | 0-u64max |
| USER_DATA | 2 | from->guest_sev_features | 0-u64max |
| USER_DATA | 2 | from->hv_enlightenments.hv_vm_id | 0-u64max |
| USER_DATA | 2 | from->hv_enlightenments.hv_vp_id | 0-u32max |
| USER_DATA | 2 | from->hv_enlightenments.partition_assist_page | 0-u64max |
| USER_DATA | 2 | from->hv_enlightenments.reserved | 0-u64max |
| USER_DATA | 2 | from->insn_len | 0-255 |
| USER_DATA | 2 | from->int_ctl | 0-u32max |
| USER_DATA | 2 | from->int_state | 0-u32max |
| USER_DATA | 2 | from->int_vector | 0-u32max |
| USER_DATA | 2 | from->iopm_base_pa | 0-u64max |
| USER_DATA | 2 | from->misc_ctl | 0-u64max |
| USER_DATA | 2 | from->misc_ctl2 | 0-u64max |
| USER_DATA | 2 | from->msrpm_base_pa | 0-u64max |
| USER_DATA | 2 | from->nested_cr3 | 0-u64max |
| USER_DATA | 2 | from->next_rip | 0-u64max |
| USER_DATA | 2 | from->pause_filter_count | 0-u16max |
| USER_DATA | 2 | from->pause_filter_thresh | 0-u16max |
| USER_DATA | 2 | from->reserved_5 | 0-u32max |
| USER_DATA | 2 | from->tlb_ctl | 0-255 |
| USER_DATA | 2 | from->tsc_offset | 0-u64max |
| USER_DATA | 2 | from->vmsa_pa | 0-u64max |
| USER_PTR | 2 | from | |
| USER_PTR | 2 | from->insn_bytes | |
| USER_PTR | 2 | from->intercepts | |
| USER_PTR | 2 | from->reserved_1 | |
| USER_PTR | 2 | from->reserved_10 | |
| USER_PTR | 2 | from->reserved_2 | |
| USER_PTR | 2 | from->reserved_3 | |
| USER_PTR | 2 | from->reserved_6 | |
| USER_PTR | 2 | from->reserved_7 | |
| USER_PTR | 2 | from->reserved_8 | |
| USER_PTR | 2 | from->reserved_9 |
arch/x86/kvm/svm/nested.c svm_set_nested_state() -> __nested_copy_vmcb_control_to_cache()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | to | 7162625244536516608 |
| PARAM_VALUE | 2 | from | 1-ptr_max |
| BUF_SIZE | 2 | from | 1024 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 2 | from | r memdup_user |
| NOCHECK_CALL | |||
| USER_DATA | 2 | from->allowed_sev_features | 0-u64max |
| USER_DATA | 2 | from->asid | 0-u32max |
| USER_DATA | 2 | from->avic_backing_page | 0-u64max |
| USER_DATA | 2 | from->avic_logical_id | 0-u64max |
| USER_DATA | 2 | from->avic_physical_id | 0-u64max |
| USER_DATA | 2 | from->avic_vapic_bar | 0-u64max |
| USER_DATA | 2 | from->bus_lock_counter | 0-u16max |
| USER_DATA | 2 | from->clean | 0-u32max |
| USER_DATA | 2 | from->erap_ctl | 0-255 |
| USER_DATA | 2 | from->event_inj | 0-u32max |
| USER_DATA | 2 | from->event_inj_err | 0-u32max |
| USER_DATA | 2 | from->exit_code | 0-u64max |
| USER_DATA | 2 | from->exit_info_1 | 0-u64max |
| USER_DATA | 2 | from->exit_info_2 | 0-u64max |
| USER_DATA | 2 | from->exit_int_info | 0-u32max |
| USER_DATA | 2 | from->exit_int_info_err | 0-u32max |
| USER_DATA | 2 | from->ghcb_gpa | 0-u64max |
| USER_DATA | 2 | from->guest_sev_features | 0-u64max |
| USER_DATA | 2 | from->hv_enlightenments.hv_vm_id | 0-u64max |
| USER_DATA | 2 | from->hv_enlightenments.hv_vp_id | 0-u32max |
| USER_DATA | 2 | from->hv_enlightenments.partition_assist_page | 0-u64max |
| USER_DATA | 2 | from->hv_enlightenments.reserved | 0-u64max |
| USER_DATA | 2 | from->insn_len | 0-255 |
| USER_DATA | 2 | from->int_ctl | 0-u32max |
| USER_DATA | 2 | from->int_state | 0-u32max |
| USER_DATA | 2 | from->int_vector | 0-u32max |
| USER_DATA | 2 | from->iopm_base_pa | 0-u64max |
| USER_DATA | 2 | from->misc_ctl | 0-u64max |
| USER_DATA | 2 | from->misc_ctl2 | 0-u64max |
| USER_DATA | 2 | from->msrpm_base_pa | 0-u64max |
| USER_DATA | 2 | from->nested_cr3 | 0-u64max |
| USER_DATA | 2 | from->next_rip | 0-u64max |
| USER_DATA | 2 | from->pause_filter_count | 0-u16max |
| USER_DATA | 2 | from->pause_filter_thresh | 0-u16max |
| USER_DATA | 2 | from->reserved_5 | 0-u32max |
| USER_DATA | 2 | from->tlb_ctl | 0-255 |
| USER_DATA | 2 | from->tsc_offset | 0-u64max |
| USER_DATA | 2 | from->vmsa_pa | 0-u64max |
| USER_DATA | 2 | *from | s64min-s64max |
| USER_PTR | 2 | from | |
| USER_PTR | 2 | from->insn_bytes | |
| USER_PTR | 2 | from->intercepts | |
| USER_PTR | 2 | from->reserved_1 | |
| USER_PTR | 2 | from->reserved_10 | |
| USER_PTR | 2 | from->reserved_2 | |
| USER_PTR | 2 | from->reserved_3 | |
| USER_PTR | 2 | from->reserved_6 | |
| USER_PTR | 2 | from->reserved_7 | |
| USER_PTR | 2 | from->reserved_8 | |
| USER_PTR | 2 | from->reserved_9 |