Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/kvmclock.c kvm_restore_sched_clock_state() -> kvm_register_clock()

Type Parameter Key Value
PARAM_VALUE 0 txt 7170199094992896000
BUF_SIZE 0 txt 26
STR_LEN 0 txt 25
TERMINATED 0 txt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/kvmclock.c kvm_setup_secondary_clock() -> kvm_register_clock()

Type Parameter Key Value
PARAM_VALUE 0 txt 9005254716963762176
BUF_SIZE 0 txt 20
STR_LEN 0 txt 19
TERMINATED 0 txt 1
NOCHECK_CALL

arch/x86/kernel/kvmclock.c kvmclock_init() -> kvm_register_clock()

Type Parameter Key Value
PARAM_VALUE 0 txt 4205628288444743680
BUF_SIZE 0 txt 18
STR_LEN 0 txt 17
TERMINATED 0 txt 1
NOCHECK_CALL
LOCK2 irq