Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_io_bus_get_dev() -> kvm_get_bus_srcu()

Type Parameter Key Value
DATA_SOURCE 0 kvm $0
DATA_SOURCE 1 idx $1

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_io_bus_read() -> kvm_get_bus_srcu()

Type Parameter Key Value
PARAM_VALUE 0 kvm->arch.apicv_update_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 kvm->arch.apicv_update_lock.first_waiter->type 0-1
PARAM_VALUE 1 idx 0-1
DATA_SOURCE 1 idx $1
HARD_MAX 1 idx 1
UNITS 0 kvm unit_byte
HALF_LOCKED2 0 &kvm->srcu

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_io_bus_write() -> kvm_get_bus_srcu()

Type Parameter Key Value
PARAM_VALUE 0 kvm->arch.apicv_update_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 kvm->arch.apicv_update_lock.first_waiter->type 0-1
PARAM_VALUE 1 idx 0-1,3
DATA_SOURCE 1 idx $1
HARD_MAX 1 idx 3
UNITS 0 kvm unit_byte
HALF_LOCKED2 0 &kvm->srcu

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_io_bus_write_cookie() -> kvm_get_bus_srcu()

Type Parameter Key Value
DATA_SOURCE 1 idx $1
UNITS 0 kvm unit_byte