Defined in 2 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/xen/time.c xen_setup_vsyscall_time_info() -> pvclock_set_pvti_cpu0_va()

Type Parameter Key Value
PARAM_VALUE 0 pvti 18379471554275704832,18446612682070032384
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pvti 4096-ptr_max
BUF_SIZE 0 pvti 4096
NOCHECK_CALL
LOCK2 irq