Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/hyperv.c kvm_hv_request_tsc_page_update() -> tsc_page_update_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 hv 4096-ptr_max
PARAM_VALUE 0 hv->hv_tsc_page_status 3
BUF_SIZE 0 hv 448
CAPPED_DATA 0 &hv->hv_lock 1
DATA_SOURCE 0 hv r to_kvm_hv
LOCK2 0 &hv->hv_lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm_hv)->hv_lock

arch/x86/kvm/hyperv.c kvm_hv_setup_tsc_page() -> tsc_page_update_unsafe()

Type Parameter Key Value
PARAM_VALUE 0 hv 4096-ptr_max
PARAM_VALUE 0 hv->hv_tsc_page_status 1-2,5-u32max
BUF_SIZE 0 hv 448
DATA_SOURCE 0 hv r to_kvm_hv
BIT_INFO 0 hv->hv_tsc_page 0x1,0xffffffffffffffff
LOCK2 &kvm->srcu
LOCK2 &v->mutex
LOCK2 _T->lock
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_vcpu)->mutex