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/vmx/nested.c handle_vmptrst() -> kvm_write_guest_virt_system()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.regs_avail 4096-ptr_max
PARAM_VALUE 1 addr 0-144115188075855871
PARAM_VALUE 2 val 2058128711085940736
PARAM_VALUE 3 bytes 8
PARAM_VALUE 4 exception 5648158199659159552
BUF_SIZE 2 val 8
DATA_SOURCE 0 vcpu $0
UNITS 3 bytes unit_byte

arch/x86/kvm/vmx/nested.c handle_vmread() -> kvm_write_guest_virt_system()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.regs_avail 4096-ptr_max
PARAM_VALUE 1 addr 0-144115188075855871
PARAM_VALUE 2 val 8667954150126645248
PARAM_VALUE 3 bytes 4,8
PARAM_VALUE 4 exception 6407642857713164288
BUF_SIZE 2 val 8
DATA_SOURCE 0 vcpu $0
BIT_INFO 3 bytes 0x0,0xc