Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- arch/arm/xen/enlighten.c, line 527
- arch/x86/kvm/x86.c, line 7115
- arch/x86/xen/time.c, line 563
- kernel/time/timekeeping.c, line 707
Smatch caller information:
arch/x86/xen/time.c xen_time_init() -> pvclock_gtod_register_notifier()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nb | 6907689098415996928 |
| NOCHECK_CALL |
arch/x86/kvm/x86.c kvm_x86_vendor_init() -> pvclock_gtod_register_notifier()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nb | 2619896991957876736 |
| NOCHECK_CALL | |||
| LOCK2 | _T->lock |