Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/x86.c kvm_scale_tsc() -> __scale_tsc()

Type Parameter Key Value
DATA_SOURCE 0 ratio $1
DATA_SOURCE 1 tsc $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ratio unit_byte
HALF_LOCKED2 &kvm->arch.tsc_write_lock
HALF_LOCKED2 &v->kvm->srcu
HALF_LOCKED2 &v->mutex
HALF_LOCKED2 &vcpu->mutex
HALF_LOCKED2 flags

arch/x86/kvm/x86.c kvm_x86_vendor_init() -> __scale_tsc()

Type Parameter Key Value
CAPPED_DATA 1 tsc 1
LOCK2 _T->lock