Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

arch/x86/kernel/kvmclock.c __pvclock_read_cycles() -> pvclock_scale_delta()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &adapter->tmreg_lock
HALF_LOCKED2 &bp->lock
HALF_LOCKED2 &bp->tsu_clk_lock
HALF_LOCKED2 &cpts->lock
HALF_LOCKED2 &cpts->ptp_clk_mutex
HALF_LOCKED2 &dt->tod_lock
HALF_LOCKED2 &fbd->time_lock
HALF_LOCKED2 &hellcreek->ptp_lock
HALF_LOCKED2 &igb->tmreg_lock
HALF_LOCKED2 &pdata->tstamp_lock
HALF_LOCKED2 &pf->adapter->ptp_gltsyn_time_lock
HALF_LOCKED2 &phc_info->lock
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 &priv->mutex
HALF_LOCKED2 &ptp->ptp_lock.lock
HALF_LOCKED2 &tai->lock
HALF_LOCKED2 &tp->lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags

arch/x86/kvm/xen.c __pvclock_read_cycles() -> pvclock_scale_delta()

Type Parameter Key Value
HALF_LOCKED2 &vcpu->kvm->arch.xen.xen_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/lapic.c nsec_to_cycles() -> pvclock_scale_delta()

Type Parameter Key Value
DATA_SOURCE 0 delta $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

drivers/ptp/ptp_vmclock.c __pvclock_read_cycles() -> pvclock_scale_delta()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &adapter->ptm_lock

arch/x86/kvm/x86.c __pvclock_read_cycles() -> pvclock_scale_delta()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->arch.xen.xen_lock
HALF_LOCKED2 &kvm->srcu

arch/x86/kvm/x86.c compute_guest_tsc() -> pvclock_scale_delta()

Type Parameter Key Value
LOCK2 &vcpu->kvm->srcu
LOCK2 &vcpu->mutex
LOCK2 flags
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_vcpu)->mutex

arch/x86/kvm/x86.c nsec_to_cycles() -> pvclock_scale_delta()

Type Parameter Key Value
DATA_SOURCE 0 delta $1
PREEMPT_ADD
LOCK2 &kvm->arch.tsc_write_lock
LOCK2 flags
TYPE_LOCK (struct kvm_arch)->tsc_write_lock

arch/x86/entry/vdso/vdso32/vclock_gettime.c __pvclock_read_cycles() -> pvclock_scale_delta()

Type Parameter Key Value

arch/x86/entry/vdso/vdso64/vclock_gettime.c __pvclock_read_cycles() -> pvclock_scale_delta()

Type Parameter Key Value

arch/x86/kernel/pvclock.c __pvclock_read_cycles() -> pvclock_scale_delta()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/kvm/vmx/vmx.c nsec_to_cycles() -> pvclock_scale_delta()

Type Parameter Key Value
DATA_SOURCE 0 delta $1

drivers/ptp/ptp_kvm_x86.c __pvclock_read_cycles() -> pvclock_scale_delta()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &kvm_ptp_lock
HALF_LOCKED2 &adapter->ptm_lock