Defined in 2 files as a prototype:
Defined in 1 files as a function:
Referenced in 23 files:
-
arch/x86/entry/vsyscall/vsyscall_64.c,
line 66
-
arch/x86/events/intel/lbr.c,
line 1700
-
arch/x86/kernel/apic/apic.c
-
arch/x86/kernel/cet.c,
line 139
-
arch/x86/kernel/cpu/amd.c
-
arch/x86/kernel/cpu/bugs.c
-
arch/x86/kernel/cpu/common.c
-
arch/x86/kernel/cpu/feat_ctl.c,
line 115
-
arch/x86/kernel/cpu/intel.c
-
arch/x86/kernel/cpu/mtrr/generic.c,
line 467
-
arch/x86/kernel/cpu/tsx.c
-
arch/x86/kernel/e820.c,
line 918
-
arch/x86/kernel/fpu/init.c,
line 81
-
arch/x86/kernel/fpu/xstate.c,
line 766
-
arch/x86/kernel/fred.c
-
arch/x86/kernel/setup.c,
line 1002
-
arch/x86/kernel/tsc.c
-
arch/x86/mm/init.c
-
arch/x86/mm/pti.c
-
arch/x86/virt/hw.c,
line 220
-
arch/x86/virt/svm/cmdline.c,
line 31
-
arch/x86/xen/enlighten_pv.c
-
arch/x86/xen/setup.c
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
145 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
145 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
390 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
152 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
152 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
9 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
149 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
419 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
401 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
299 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
292 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
299 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
292 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
133 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
612 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
595 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
146 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
124 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
12 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
29 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
149 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
608 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
402 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
145 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
22 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
131 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
154 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
155 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
612 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
608 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
608 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
609 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
611 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
612 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
111 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
110 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
596 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
154 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
320 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
323 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
375 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
401 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
528 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
0-703 |
| FUZZY_MAX |
0 |
feature |
703 |
| HARD_MAX |
0 |
feature |
703 |
| NOCHECK_CALL |
|
|
|
| NO_OVERFLOW_SIMPLE |
0 |
feature |
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
0-767 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
238,439 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
596 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
419 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
288 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
298 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
145 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
27 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
249 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
250 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
251 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
602 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
240 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
603 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
241 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
607 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
112 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
297 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
13 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
290 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
154 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
12 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
156 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
367 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
366 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
237 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
671 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
367 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
366 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
237 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
152 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
152 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
9 |
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
110 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
feature |
111 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
irq |
|