Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/svm/svm.c l2_has_separate_pat() -> nested_npt_enabled()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max

arch/x86/kvm/svm/nested.c enter_svm_guest_mode() -> nested_npt_enabled()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
CAPPED_DATA 0 svm->vmcb 1
DATA_SOURCE 0 svm r to_svm

arch/x86/kvm/svm/nested.c l2_has_separate_pat() -> nested_npt_enabled()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max

arch/x86/kvm/svm/nested.c nested_vmcb02_prepare_control() -> nested_npt_enabled()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
DATA_SOURCE 0 svm $0
USER_DATA 0 svm->nested.ctl.asid 0-u32max
USER_DATA 0 svm->nested.ctl.clean 0-u32max
USER_DATA 0 svm->nested.ctl.erap_ctl 0-255
USER_DATA 0 svm->nested.ctl.event_inj 0-u32max[c]
USER_DATA 0 svm->nested.ctl.event_inj_err 0-u32max
USER_DATA 0 svm->nested.ctl.exit_code 0-u64max
USER_DATA 0 svm->nested.ctl.exit_info_1 0-u64max
USER_DATA 0 svm->nested.ctl.exit_info_2 0-u64max
USER_DATA 0 svm->nested.ctl.exit_int_info 0-u32max
USER_DATA 0 svm->nested.ctl.exit_int_info_err 0-u32max
USER_DATA 0 svm->nested.ctl.int_ctl 0-u32max
USER_DATA 0 svm->nested.ctl.int_state 0-1[c]
USER_DATA 0 svm->nested.ctl.int_vector 0-255[c]
USER_DATA 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max[c]
USER_DATA 0 svm->nested.ctl.misc_ctl 0-u64max
USER_DATA 0 svm->nested.ctl.misc_ctl2 0-u64max
USER_DATA 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max[c]
USER_DATA 0 svm->nested.ctl.nested_cr3 0-u64max
USER_DATA 0 svm->nested.ctl.next_rip 0-u64max
USER_DATA 0 svm->nested.ctl.pause_filter_count 0-u16max
USER_DATA 0 svm->nested.ctl.pause_filter_thresh 0-u16max
USER_DATA 0 svm->nested.ctl.tlb_ctl 0-7[c]
USER_DATA 0 svm->nested.ctl.tsc_offset 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.br_from 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.br_to 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.cr0 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.cr3 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.cr4 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.cs.attrib 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.cs.base 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.cs.limit 0-u32max
USER_DATA 0 svm->vmcb01.ptr->save.cs.selector 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.dbgctl 0-1[c]
USER_DATA 0 svm->vmcb01.ptr->save.ds.attrib 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.ds.base 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.ds.limit 0-u32max
USER_DATA 0 svm->vmcb01.ptr->save.ds.selector 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.efer 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.es.attrib 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.es.base 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.es.limit 0-u32max
USER_DATA 0 svm->vmcb01.ptr->save.es.selector 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.gdtr.attrib 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.gdtr.base 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.gdtr.limit 0-u32max
USER_DATA 0 svm->vmcb01.ptr->save.gdtr.selector 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.idtr.attrib 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.idtr.base 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.idtr.limit 0-u32max
USER_DATA 0 svm->vmcb01.ptr->save.idtr.selector 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.isst_addr 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.last_excp_from 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.last_excp_to 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.rax 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.rflags 0,2-u64max
USER_DATA 0 svm->vmcb01.ptr->save.rip 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.rsp 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.s_cet 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.ss.attrib 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.ss.base 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.ss.limit 0-u32max
USER_DATA 0 svm->vmcb01.ptr->save.ss.selector 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.ssp 0-u64max

arch/x86/kvm/svm/nested.c nested_vmcb_needs_vls_intercept() -> nested_npt_enabled()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
CAPPED_DATA 0 svm->vmcb 1
DATA_SOURCE 0 svm $0
USER_DATA 0 svm->nested.ctl.asid 0-u32max
USER_DATA 0 svm->nested.ctl.clean 0-u32max
USER_DATA 0 svm->nested.ctl.erap_ctl 0-255
USER_DATA 0 svm->nested.ctl.event_inj 0-u32max[c]
USER_DATA 0 svm->nested.ctl.event_inj_err 0-u32max
USER_DATA 0 svm->nested.ctl.exit_code 0-u64max
USER_DATA 0 svm->nested.ctl.exit_info_1 0-u64max
USER_DATA 0 svm->nested.ctl.exit_info_2 0-u64max
USER_DATA 0 svm->nested.ctl.exit_int_info 0-u32max
USER_DATA 0 svm->nested.ctl.exit_int_info_err 0-u32max
USER_DATA 0 svm->nested.ctl.int_ctl 0-u32max
USER_DATA 0 svm->nested.ctl.int_state 0-1[c]
USER_DATA 0 svm->nested.ctl.int_vector 0-255[c]
USER_DATA 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max[c]
USER_DATA 0 svm->nested.ctl.misc_ctl 0-u64max
USER_DATA 0 svm->nested.ctl.misc_ctl2 0-u64max
USER_DATA 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max[c]
USER_DATA 0 svm->nested.ctl.nested_cr3 0-u64max
USER_DATA 0 svm->nested.ctl.next_rip 0-u64max
USER_DATA 0 svm->nested.ctl.pause_filter_count 0-u16max
USER_DATA 0 svm->nested.ctl.pause_filter_thresh 0-u16max
USER_DATA 0 svm->nested.ctl.tlb_ctl 0-7[c]
USER_DATA 0 svm->nested.ctl.tsc_offset 0-u64max
USER_DATA 0 svm->nmi_l1_to_l2 0[c]
USER_DATA 0 svm->soft_int_next_rip 0-u64max
USER_DATA 0 svm->vcpu->arch.pdptrs 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.br_from 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.br_to 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.cr0 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.cr3 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.cr4 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.cs.attrib 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.cs.base 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.cs.limit 0-u32max
USER_DATA 0 svm->vmcb01.ptr->save.cs.selector 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.dbgctl 0-1[c]
USER_DATA 0 svm->vmcb01.ptr->save.ds.attrib 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.ds.base 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.ds.limit 0-u32max
USER_DATA 0 svm->vmcb01.ptr->save.ds.selector 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.efer 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.es.attrib 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.es.base 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.es.limit 0-u32max
USER_DATA 0 svm->vmcb01.ptr->save.es.selector 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.gdtr.attrib 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.gdtr.base 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.gdtr.limit 0-u32max
USER_DATA 0 svm->vmcb01.ptr->save.gdtr.selector 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.idtr.attrib 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.idtr.base 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.idtr.limit 0-u32max
USER_DATA 0 svm->vmcb01.ptr->save.idtr.selector 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.isst_addr 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.last_excp_from 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.last_excp_to 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.rax 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.rflags 0,2-u64max
USER_DATA 0 svm->vmcb01.ptr->save.rip 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.rsp 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.s_cet 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.ss.attrib 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.ss.base 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.ss.limit 0-u32max
USER_DATA 0 svm->vmcb01.ptr->save.ss.selector 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.ssp 0-u64max
USER_PTR 0 svm->vcpu.arch.pdptrs

arch/x86/kvm/svm/nested.c svm_get_nested_state_pages() -> nested_npt_enabled()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max

arch/x86/kvm/svm/nested.c svm_set_nested_state() -> nested_npt_enabled()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
CAPPED_DATA 0 svm->vmcb 1
DATA_SOURCE 0 svm r to_svm
PARAM_COMPARE 0 svm->nested.last_bus_lock_rip >= $0->nested.vmcb02.ptr->save.rip
USER_DATA 0 svm->nested.ctl.asid 0-u32max
USER_DATA 0 svm->nested.ctl.clean 0-u32max
USER_DATA 0 svm->nested.ctl.erap_ctl 0-255
USER_DATA 0 svm->nested.ctl.event_inj 0-u32max[c]
USER_DATA 0 svm->nested.ctl.event_inj_err 0-u32max
USER_DATA 0 svm->nested.ctl.exit_code 0-u64max
USER_DATA 0 svm->nested.ctl.exit_info_1 0-u64max
USER_DATA 0 svm->nested.ctl.exit_info_2 0-u64max
USER_DATA 0 svm->nested.ctl.exit_int_info 0-u32max
USER_DATA 0 svm->nested.ctl.exit_int_info_err 0-u32max
USER_DATA 0 svm->nested.ctl.int_ctl 0-u32max
USER_DATA 0 svm->nested.ctl.int_state 0-1[c]
USER_DATA 0 svm->nested.ctl.int_vector 0-255[c]
USER_DATA 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max[c]
USER_DATA 0 svm->nested.ctl.misc_ctl 0-u64max
USER_DATA 0 svm->nested.ctl.misc_ctl2 0-u64max
USER_DATA 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max[c]
USER_DATA 0 svm->nested.ctl.nested_cr3 0-u64max
USER_DATA 0 svm->nested.ctl.next_rip 0-u64max
USER_DATA 0 svm->nested.ctl.pause_filter_count 0-u16max
USER_DATA 0 svm->nested.ctl.pause_filter_thresh 0-u16max
USER_DATA 0 svm->nested.ctl.tlb_ctl 0-7[c]
USER_DATA 0 svm->nested.ctl.tsc_offset 0-u64max
USER_DATA 0 svm->nested.vmcb02.ptr->control.erap_ctl 2-3[c]
USER_DATA 0 svm->nested.vmcb02.ptr->control.int_ctl 0-134217727[c]
USER_DATA 0 svm->nested.vmcb02.ptr->control.misc_ctl 0-1,8-9[c][u]
USER_DATA 0 svm->nested.vmcb02.ptr->control.next_rip 0-u64max
USER_DATA 0 svm->nested.vmcb02.ptr->control.pause_filter_count 0-u16max
USER_DATA 0 svm->nested.vmcb02.ptr->control.pause_filter_thresh 0-u16max
USER_DATA 0 svm->nested.vmcb02.ptr->control.tsc_offset 0-u64max
USER_DATA 0 svm->nmi_l1_to_l2 0[c]
USER_DATA 0 svm->soft_int_next_rip 0-u64max
USER_DATA 0 svm->vcpu.arch.tsc_offset 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.br_from 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.br_to 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.cr0 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.cr3 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.cr4 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.cs.attrib 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.cs.base 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.cs.limit 0-u32max
USER_DATA 0 svm->vmcb01.ptr->save.cs.selector 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.dbgctl 0-1[c]
USER_DATA 0 svm->vmcb01.ptr->save.ds.attrib 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.ds.base 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.ds.limit 0-u32max
USER_DATA 0 svm->vmcb01.ptr->save.ds.selector 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.efer 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.es.attrib 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.es.base 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.es.limit 0-u32max
USER_DATA 0 svm->vmcb01.ptr->save.es.selector 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.gdtr.attrib 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.gdtr.base 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.gdtr.limit 0-u32max
USER_DATA 0 svm->vmcb01.ptr->save.gdtr.selector 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.idtr.attrib 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.idtr.base 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.idtr.limit 0-u32max
USER_DATA 0 svm->vmcb01.ptr->save.idtr.selector 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.isst_addr 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.last_excp_from 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.last_excp_to 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.rax 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.rflags 0,2-u64max
USER_DATA 0 svm->vmcb01.ptr->save.rip 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.rsp 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.s_cet 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.ss.attrib 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.ss.base 0-u64max
USER_DATA 0 svm->vmcb01.ptr->save.ss.limit 0-u32max
USER_DATA 0 svm->vmcb01.ptr->save.ss.selector 0-u16max
USER_DATA 0 svm->vmcb01.ptr->save.ssp 0-u64max