Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/kvm/svm/sev.c sev_es_init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->msrpm 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->sev_es.vmsa 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb 4096-ptr_max
PARAM_VALUE 0 svm->vmcb->control.misc_ctl 0,4-u64max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 143
DATA_SOURCE 0 svm $0
BIT_INFO 0 svm->vmcb->control.misc_ctl 0x6,0xffffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 &dst_kvm->lock
HALF_LOCKED2 &src_kvm->lock

arch/x86/kvm/svm/sev.c sev_es_init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->msrpm 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->sev_es.vmsa 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb 4096-ptr_max
PARAM_VALUE 0 svm->vmcb->control.misc_ctl 0,4-u64max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 144
DATA_SOURCE 0 svm $0
BIT_INFO 0 svm->vmcb->control.misc_ctl 0x6,0xffffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 &dst_kvm->lock
HALF_LOCKED2 &src_kvm->lock

arch/x86/kvm/svm/sev.c sev_es_init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->msrpm 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->sev_es.vmsa 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb 4096-ptr_max
PARAM_VALUE 0 svm->vmcb->control.misc_ctl 0,4-u64max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 148
DATA_SOURCE 0 svm $0
BIT_INFO 0 svm->vmcb->control.misc_ctl 0x6,0xffffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 &dst_kvm->lock
HALF_LOCKED2 &src_kvm->lock

arch/x86/kvm/svm/sev.c sev_es_init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->msrpm 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->sev_es.vmsa 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb 4096-ptr_max
PARAM_VALUE 0 svm->vmcb->control.misc_ctl 0,4-u64max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 152
DATA_SOURCE 0 svm $0
BIT_INFO 0 svm->vmcb->control.misc_ctl 0x6,0xffffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 &dst_kvm->lock
HALF_LOCKED2 &src_kvm->lock

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->vmcb01.ptr 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 0
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 3
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 4
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 16
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 19
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 20
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 24
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 96
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 97
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 98
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 101
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 111
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 114
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 118
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 121
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 122
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 123
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 124
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 125
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 127
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 128
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 129
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 130
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 131
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 132
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 133
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 134
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 137
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 141
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 136
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 142
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 115
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 138
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 139
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 166
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 120
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->asid 0
PARAM_VALUE 0 svm->current_vmcb 4096-ptr_max
PARAM_VALUE 0 svm->current_vmcb->asid_generation 0
PARAM_VALUE 0 svm->msrpm 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.last_vmcb12_gpa u64max
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->nested.vmcb12_gpa u64max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr->save.ds.attrib 146
PARAM_VALUE 0 svm->vmcb01.ptr->save.ds.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.ds.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.ds.selector 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.es.attrib 146
PARAM_VALUE 0 svm->vmcb01.ptr->save.es.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.es.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.es.selector 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.fs.attrib 146
PARAM_VALUE 0 svm->vmcb01.ptr->save.fs.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.fs.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.fs.selector 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.gs.attrib 146
PARAM_VALUE 0 svm->vmcb01.ptr->save.gs.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.gs.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.gs.selector 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.ldtr.attrib 130
PARAM_VALUE 0 svm->vmcb01.ptr->save.ldtr.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.ldtr.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.ldtr.selector 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.ss.attrib 146
PARAM_VALUE 0 svm->vmcb01.ptr->save.ss.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.ss.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.ss.selector 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.tr.attrib 131
PARAM_VALUE 0 svm->vmcb01.ptr->save.tr.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.tr.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.tr.selector 0
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 119
CAPPED_DATA 0 svm->msrpm 1
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->asid 0
PARAM_VALUE 0 svm->current_vmcb 4096-ptr_max
PARAM_VALUE 0 svm->current_vmcb->asid_generation 0
PARAM_VALUE 0 svm->msrpm 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.last_vmcb12_gpa u64max
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->nested.vmcb12_gpa u64max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->save.ds.attrib 146
PARAM_VALUE 0 svm->vmcb01.ptr->save.ds.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.ds.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.ds.selector 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.es.attrib 146
PARAM_VALUE 0 svm->vmcb01.ptr->save.es.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.es.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.es.selector 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.fs.attrib 146
PARAM_VALUE 0 svm->vmcb01.ptr->save.fs.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.fs.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.fs.selector 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.gs.attrib 146
PARAM_VALUE 0 svm->vmcb01.ptr->save.gs.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.gs.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.gs.selector 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.ldtr.attrib 130
PARAM_VALUE 0 svm->vmcb01.ptr->save.ldtr.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.ldtr.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.ldtr.selector 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.ss.attrib 146
PARAM_VALUE 0 svm->vmcb01.ptr->save.ss.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.ss.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.ss.selector 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.tr.attrib 131
PARAM_VALUE 0 svm->vmcb01.ptr->save.tr.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.tr.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.tr.selector 0
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 165
CAPPED_DATA 0 svm->msrpm 1
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_enable_nmi_window() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->vmcb01.ptr 0,4096-ptr_max
PARAM_VALUE 1 bit 132
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_enable_smi_window() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 1 bit 132
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_recalc_instruction_intercepts() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 1 bit 162
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_recalc_instruction_intercepts() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->vmcb01.ptr 0,4096-ptr_max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 135
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_recalc_instruction_intercepts() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->vmcb01.ptr 0,4096-ptr_max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 130
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_recalc_instruction_intercepts() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 4096-ptr_max
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 131
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_recalc_instruction_intercepts() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 4096-ptr_max
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 133
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_recalc_instruction_intercepts() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 4096-ptr_max
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 132
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_recalc_instruction_intercepts() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->vmcb01.ptr 0,4096-ptr_max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 130
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_recalc_instruction_intercepts() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 4096-ptr_max
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 131
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_recalc_instruction_intercepts() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->vmcb01.ptr 0,4096-ptr_max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 111
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_set_cr0() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->vmcb 4096-ptr_max
PARAM_VALUE 1 bit 0
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_set_cr0() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb 4096-ptr_max
PARAM_VALUE 0 svm->vmcb01.ptr 4096-ptr_max
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 16
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_set_iret_intercept() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nmi_masked 1
PARAM_VALUE 0 svm->vmcb01.ptr 0,4096-ptr_max
PARAM_VALUE 1 bit 116
DATA_SOURCE 0 svm $0
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_set_vintr() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->vcpu.kvm 4096-ptr_max
PARAM_VALUE 1 bit 100
DATA_SOURCE 0 svm $0
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_update_cr8_intercept() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 4096-ptr_max
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 24
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/avic.c avic_deactivate_vmcb() -> svm_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->msrpm 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.avic_physical_id 0,4096-u64max
PARAM_VALUE 0 svm->vmcb01.ptr->control.int_ctl 0-1073741823
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 24
DATA_SOURCE 0 svm $0
NOCHECK_CALL