Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/vmx/nested.c is_alignment_check() -> is_exception_n()

Type Parameter Key Value
PARAM_VALUE 1 vector 17
DATA_SOURCE 0 intr_info $0

arch/x86/kvm/vmx/nested.c is_breakpoint() -> is_exception_n()

Type Parameter Key Value
PARAM_VALUE 1 vector 3
DATA_SOURCE 0 intr_info $0

arch/x86/kvm/vmx/nested.c is_debug() -> is_exception_n()

Type Parameter Key Value
PARAM_VALUE 1 vector 1
DATA_SOURCE 0 intr_info $0

arch/x86/kvm/vmx/nested.c is_double_fault() -> is_exception_n()

Type Parameter Key Value
PARAM_VALUE 1 vector 8
DATA_SOURCE 0 intr_info $0
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/vmx/nested.c is_page_fault() -> is_exception_n()

Type Parameter Key Value
PARAM_VALUE 1 vector 14
DATA_SOURCE 0 intr_info $0

arch/x86/kvm/vmx/nested.c is_ve_fault() -> is_exception_n()

Type Parameter Key Value
PARAM_VALUE 1 vector 20
DATA_SOURCE 0 intr_info $0

arch/x86/kvm/vmx/tdx.c is_machine_check() -> is_exception_n()

Type Parameter Key Value
PARAM_VALUE 1 vector 18
DATA_SOURCE 0 intr_info $0

arch/x86/kvm/vmx/vmx.c is_gp_fault() -> is_exception_n()

Type Parameter Key Value
PARAM_VALUE 1 vector 13
DATA_SOURCE 0 intr_info $0

arch/x86/kvm/vmx/vmx.c is_invalid_opcode() -> is_exception_n()

Type Parameter Key Value
PARAM_VALUE 1 vector 6
DATA_SOURCE 0 intr_info $0

arch/x86/kvm/vmx/vmx.c is_machine_check() -> is_exception_n()

Type Parameter Key Value
PARAM_VALUE 1 vector 18
DATA_SOURCE 0 intr_info $0

arch/x86/kvm/vmx/vmx.c is_nm_fault() -> is_exception_n()

Type Parameter Key Value
PARAM_VALUE 1 vector 7
DATA_SOURCE 0 intr_info $0

arch/x86/kvm/vmx/vmx.c is_page_fault() -> is_exception_n()

Type Parameter Key Value
PARAM_VALUE 1 vector 14
DATA_SOURCE 0 intr_info $0

arch/x86/kvm/vmx/vmx.c is_ve_fault() -> is_exception_n()

Type Parameter Key Value
PARAM_VALUE 1 vector 20
DATA_SOURCE 0 intr_info $0