Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

No references found in the database

Smatch caller information:

arch/x86/kvm/vmx/nested.c vmcs_clear() -> vmclear_error()

Type Parameter Key Value
CAPPED_DATA 0 vmcs 1
CAPPED_DATA 1 phys_addr 1
CAPPED_DATA 1 phys_addr 1
DATA_SOURCE 0 vmcs $0
DATA_SOURCE 1 phys_addr r __phys_addr
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmcs_clear() -> vmclear_error()

Type Parameter Key Value
CAPPED_DATA 0 vmcs 1
CAPPED_DATA 1 phys_addr 1
CAPPED_DATA 1 phys_addr 1
DATA_SOURCE 0 vmcs $0
DATA_SOURCE 1 phys_addr r __phys_addr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL