Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/svm/svm.c svm_set_efer() -> svm_leave_nested()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->guest_debug 2-u64max
PARAM_VALUE 0 vcpu->stat.guest_mode 0-1
BUF_SIZE 0 vcpu 7720
DATA_SOURCE 0 vcpu $0
HARD_MAX 0 vcpu->stat.guest_mode 1
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_vcpu_free() -> svm_leave_nested()

Type Parameter Key Value
DATA_SOURCE 0 vcpu $0
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
DATA_SOURCE 0 vcpu $0
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->kvm 4096-ptr_max
DATA_SOURCE 0 vcpu $0
NOCHECK_CALL