Bug Summary

File:dev/dt/dt_prov_static.c
Warning:line 188, column 22
Assigned value is garbage or undefined

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -cc1 -triple amd64-unknown-openbsd7.0 -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name dt_prov_static.c -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model static -mframe-pointer=all -relaxed-aliasing -fno-rounding-math -mconstructor-aliases -ffreestanding -mcmodel=kernel -target-cpu x86-64 -target-feature +retpoline-indirect-calls -target-feature +retpoline-indirect-branches -target-feature -sse2 -target-feature -sse -target-feature -3dnow -target-feature -mmx -target-feature +save-args -disable-red-zone -no-implicit-float -tune-cpu generic -debugger-tuning=gdb -fcoverage-compilation-dir=/usr/src/sys/arch/amd64/compile/GENERIC.MP/obj -nostdsysteminc -nobuiltininc -resource-dir /usr/local/lib/clang/13.0.0 -I /usr/src/sys -I /usr/src/sys/arch/amd64/compile/GENERIC.MP/obj -I /usr/src/sys/arch -I /usr/src/sys/dev/pci/drm/include -I /usr/src/sys/dev/pci/drm/include/uapi -I /usr/src/sys/dev/pci/drm/amd/include/asic_reg -I /usr/src/sys/dev/pci/drm/amd/include -I /usr/src/sys/dev/pci/drm/amd/amdgpu -I /usr/src/sys/dev/pci/drm/amd/display -I /usr/src/sys/dev/pci/drm/amd/display/include -I /usr/src/sys/dev/pci/drm/amd/display/dc -I /usr/src/sys/dev/pci/drm/amd/display/amdgpu_dm -I /usr/src/sys/dev/pci/drm/amd/pm/inc -I /usr/src/sys/dev/pci/drm/amd/pm/swsmu -I /usr/src/sys/dev/pci/drm/amd/pm/swsmu/smu11 -I /usr/src/sys/dev/pci/drm/amd/pm/swsmu/smu12 -I /usr/src/sys/dev/pci/drm/amd/pm/powerplay -I /usr/src/sys/dev/pci/drm/amd/pm/powerplay/hwmgr -I /usr/src/sys/dev/pci/drm/amd/pm/powerplay/smumgr -I /usr/src/sys/dev/pci/drm/amd/display/dc/inc -I /usr/src/sys/dev/pci/drm/amd/display/dc/inc/hw -I /usr/src/sys/dev/pci/drm/amd/display/dc/clk_mgr -I /usr/src/sys/dev/pci/drm/amd/display/modules/inc -I /usr/src/sys/dev/pci/drm/amd/display/modules/hdcp -I /usr/src/sys/dev/pci/drm/amd/display/dmub/inc -I /usr/src/sys/dev/pci/drm/i915 -D DDB -D DIAGNOSTIC -D KTRACE -D ACCOUNTING -D KMEMSTATS -D PTRACE -D POOL_DEBUG -D CRYPTO -D SYSVMSG -D SYSVSEM -D SYSVSHM -D UVM_SWAP_ENCRYPT -D FFS -D FFS2 -D FFS_SOFTUPDATES -D UFS_DIRHASH -D QUOTA -D EXT2FS -D MFS -D NFSCLIENT -D NFSSERVER -D CD9660 -D UDF -D MSDOSFS -D FIFO -D FUSE -D SOCKET_SPLICE -D TCP_ECN -D TCP_SIGNATURE -D INET6 -D IPSEC -D PPP_BSDCOMP -D PPP_DEFLATE -D PIPEX -D MROUTING -D MPLS -D BOOT_CONFIG -D USER_PCICONF -D APERTURE -D MTRR -D NTFS -D HIBERNATE -D PCIVERBOSE -D USBVERBOSE -D WSDISPLAY_COMPAT_USL -D WSDISPLAY_COMPAT_RAWKBD -D WSDISPLAY_DEFAULTSCREENS=6 -D X86EMU -D ONEWIREVERBOSE -D MULTIPROCESSOR -D MAXUSERS=80 -D _KERNEL -D CONFIG_DRM_AMD_DC_DCN3_0 -O2 -Wno-pointer-sign -Wno-address-of-packed-member -Wno-constant-conversion -Wno-unused-but-set-variable -Wno-gnu-folding-constant -fdebug-compilation-dir=/usr/src/sys/arch/amd64/compile/GENERIC.MP/obj -ferror-limit 19 -fwrapv -D_RET_PROTECTOR -ret-protector -fgnuc-version=4.2.1 -vectorize-loops -vectorize-slp -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-valloc -fno-builtin-free -fno-builtin-strdup -fno-builtin-strndup -analyzer-output=html -faddrsig -o /usr/obj/sys/arch/amd64/compile/GENERIC.MP/scan-build/2022-01-12-131800-47421-1 -x c /usr/src/sys/dev/dt/dt_prov_static.c
1/* $OpenBSD: dt_prov_static.c,v 1.11 2021/11/24 09:47:49 claudio Exp $ */
2
3/*
4 * Copyright (c) 2019 Martin Pieuchot <mpi@openbsd.org>
5 *
6 * Permission to use, copy, modify, and distribute this software for any
7 * purpose with or without fee is hereby granted, provided that the above
8 * copyright notice and this permission notice appear in all copies.
9 *
10 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
11 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
12 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
13 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
14 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
15 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
16 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
17 */
18
19#include <sys/types.h>
20#include <sys/systm.h>
21#include <sys/param.h>
22#include <sys/tracepoint.h>
23
24#include <dev/dt/dtvar.h>
25
26int dt_prov_static_alloc(struct dt_probe *, struct dt_softc *,
27 struct dt_pcb_list *, struct dtioc_req *);
28int dt_prov_static_hook(struct dt_provider *, ...);
29
30struct dt_provider dt_prov_static = {
31 .dtpv_name = "tracepoint",
32 .dtpv_alloc = dt_prov_static_alloc,
33 .dtpv_enter = dt_prov_static_hook,
34 .dtpv_dealloc = NULL((void *)0),
35};
36
37/*
38 * Scheduler
39 */
40DT_STATIC_PROBE2(sched, dequeue, "pid_t", "pid_t")struct dt_probe (dt_static_sched_dequeue) = { .dtp_next = { (
(void *)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "sched", .dtp_name = "dequeue", .dtp_pbn = 0, .
dtp_sysnum = 0, .dtp_argtype = { "pid_t", "pid_t", ((void *)0
), ((void *)0), ((void *)0) }, .dtp_nargs = 2, }
;
41DT_STATIC_PROBE2(sched, enqueue, "pid_t", "pid_t")struct dt_probe (dt_static_sched_enqueue) = { .dtp_next = { (
(void *)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "sched", .dtp_name = "enqueue", .dtp_pbn = 0, .
dtp_sysnum = 0, .dtp_argtype = { "pid_t", "pid_t", ((void *)0
), ((void *)0), ((void *)0) }, .dtp_nargs = 2, }
;
42DT_STATIC_PROBE2(sched, off__cpu, "pid_t", "pid_t")struct dt_probe (dt_static_sched_off__cpu) = { .dtp_next = { (
(void *)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "sched", .dtp_name = "off__cpu", .dtp_pbn = 0, .
dtp_sysnum = 0, .dtp_argtype = { "pid_t", "pid_t", ((void *)0
), ((void *)0), ((void *)0) }, .dtp_nargs = 2, }
;
43DT_STATIC_PROBE0(sched, on__cpu)struct dt_probe (dt_static_sched_on__cpu) = { .dtp_next = { (
(void *)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "sched", .dtp_name = "on__cpu", .dtp_pbn = 0, .
dtp_sysnum = 0, .dtp_argtype = { ((void *)0), ((void *)0), ((
void *)0), ((void *)0), ((void *)0) }, .dtp_nargs = 0, }
;
44DT_STATIC_PROBE0(sched, remain__cpu)struct dt_probe (dt_static_sched_remain__cpu) = { .dtp_next =
{ ((void *)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &
dt_prov_static, .dtp_func = "sched", .dtp_name = "remain__cpu"
, .dtp_pbn = 0, .dtp_sysnum = 0, .dtp_argtype = { ((void *)0)
, ((void *)0), ((void *)0), ((void *)0), ((void *)0) }, .dtp_nargs
= 0, }
;
45DT_STATIC_PROBE0(sched, sleep)struct dt_probe (dt_static_sched_sleep) = { .dtp_next = { ((void
*)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "sched", .dtp_name = "sleep", .dtp_pbn = 0, .dtp_sysnum
= 0, .dtp_argtype = { ((void *)0), ((void *)0), ((void *)0),
((void *)0), ((void *)0) }, .dtp_nargs = 0, }
;
46DT_STATIC_PROBE0(sched, wakeup)struct dt_probe (dt_static_sched_wakeup) = { .dtp_next = { ((
void *)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "sched", .dtp_name = "wakeup", .dtp_pbn = 0, .dtp_sysnum
= 0, .dtp_argtype = { ((void *)0), ((void *)0), ((void *)0),
((void *)0), ((void *)0) }, .dtp_nargs = 0, }
;
47
48/*
49 * Raw syscalls
50 */
51DT_STATIC_PROBE1(raw_syscalls, sys_enter, "register_t")struct dt_probe (dt_static_raw_syscalls_sys_enter) = { .dtp_next
= { ((void *)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &
dt_prov_static, .dtp_func = "raw_syscalls", .dtp_name = "sys_enter"
, .dtp_pbn = 0, .dtp_sysnum = 0, .dtp_argtype = { "register_t"
, ((void *)0), ((void *)0), ((void *)0), ((void *)0) }, .dtp_nargs
= 1, }
;
52DT_STATIC_PROBE1(raw_syscalls, sys_exit, "register_t")struct dt_probe (dt_static_raw_syscalls_sys_exit) = { .dtp_next
= { ((void *)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &
dt_prov_static, .dtp_func = "raw_syscalls", .dtp_name = "sys_exit"
, .dtp_pbn = 0, .dtp_sysnum = 0, .dtp_argtype = { "register_t"
, ((void *)0), ((void *)0), ((void *)0), ((void *)0) }, .dtp_nargs
= 1, }
;
53
54/*
55 * UVM
56 */
57DT_STATIC_PROBE3(uvm, fault, "vaddr_t", "vm_fault_t", "vm_prot_t")struct dt_probe (dt_static_uvm_fault) = { .dtp_next = { ((void
*)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "uvm", .dtp_name = "fault", .dtp_pbn = 0, .dtp_sysnum
= 0, .dtp_argtype = { "vaddr_t", "vm_fault_t", "vm_prot_t", (
(void *)0), ((void *)0) }, .dtp_nargs = 3, }
;
58DT_STATIC_PROBE3(uvm, map_insert, "vaddr_t", "vaddr_t", "vm_prot_t")struct dt_probe (dt_static_uvm_map_insert) = { .dtp_next = { (
(void *)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "uvm", .dtp_name = "map_insert", .dtp_pbn = 0, .
dtp_sysnum = 0, .dtp_argtype = { "vaddr_t", "vaddr_t", "vm_prot_t"
, ((void *)0), ((void *)0) }, .dtp_nargs = 3, }
;
59DT_STATIC_PROBE3(uvm, map_remove, "vaddr_t", "vaddr_t", "vm_prot_t")struct dt_probe (dt_static_uvm_map_remove) = { .dtp_next = { (
(void *)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "uvm", .dtp_name = "map_remove", .dtp_pbn = 0, .
dtp_sysnum = 0, .dtp_argtype = { "vaddr_t", "vaddr_t", "vm_prot_t"
, ((void *)0), ((void *)0) }, .dtp_nargs = 3, }
;
60DT_STATIC_PROBE4(uvm, malloc, "int", "void *", "size_t", "int")struct dt_probe (dt_static_uvm_malloc) = { .dtp_next = { ((void
*)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "uvm", .dtp_name = "malloc", .dtp_pbn = 0, .dtp_sysnum
= 0, .dtp_argtype = { "int", "void *", "size_t", "int", ((void
*)0) }, .dtp_nargs = 4, }
;
61DT_STATIC_PROBE3(uvm, free, "int", "void *", "size_t")struct dt_probe (dt_static_uvm_free) = { .dtp_next = { ((void
*)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "uvm", .dtp_name = "free", .dtp_pbn = 0, .dtp_sysnum
= 0, .dtp_argtype = { "int", "void *", "size_t", ((void *)0)
, ((void *)0) }, .dtp_nargs = 3, }
;
62DT_STATIC_PROBE3(uvm, pool_get, "void *", "void *", "int")struct dt_probe (dt_static_uvm_pool_get) = { .dtp_next = { ((
void *)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "uvm", .dtp_name = "pool_get", .dtp_pbn = 0, .dtp_sysnum
= 0, .dtp_argtype = { "void *", "void *", "int", ((void *)0)
, ((void *)0) }, .dtp_nargs = 3, }
;
63DT_STATIC_PROBE2(uvm, pool_put, "void *", "void *")struct dt_probe (dt_static_uvm_pool_put) = { .dtp_next = { ((
void *)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "uvm", .dtp_name = "pool_put", .dtp_pbn = 0, .dtp_sysnum
= 0, .dtp_argtype = { "void *", "void *", ((void *)0), ((void
*)0), ((void *)0) }, .dtp_nargs = 2, }
;
64
65/*
66 * VFS
67 */
68DT_STATIC_PROBE3(vfs, bufcache_rel, "long", "int", "int64_t")struct dt_probe (dt_static_vfs_bufcache_rel) = { .dtp_next = {
((void *)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &
dt_prov_static, .dtp_func = "vfs", .dtp_name = "bufcache_rel"
, .dtp_pbn = 0, .dtp_sysnum = 0, .dtp_argtype = { "long", "int"
, "int64_t", ((void *)0), ((void *)0) }, .dtp_nargs = 3, }
;
69DT_STATIC_PROBE3(vfs, bufcache_take, "long", "int", "int64_t")struct dt_probe (dt_static_vfs_bufcache_take) = { .dtp_next =
{ ((void *)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &
dt_prov_static, .dtp_func = "vfs", .dtp_name = "bufcache_take"
, .dtp_pbn = 0, .dtp_sysnum = 0, .dtp_argtype = { "long", "int"
, "int64_t", ((void *)0), ((void *)0) }, .dtp_nargs = 3, }
;
70DT_STATIC_PROBE4(vfs, cleaner, "long", "int", "long", "long")struct dt_probe (dt_static_vfs_cleaner) = { .dtp_next = { ((void
*)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "vfs", .dtp_name = "cleaner", .dtp_pbn = 0, .dtp_sysnum
= 0, .dtp_argtype = { "long", "int", "long", "long", ((void *
)0) }, .dtp_nargs = 4, }
;
71
72/*
73 * VMM
74 */
75DT_STATIC_PROBE2(vmm, guest_enter, "void *", "void *")struct dt_probe (dt_static_vmm_guest_enter) = { .dtp_next = {
((void *)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &
dt_prov_static, .dtp_func = "vmm", .dtp_name = "guest_enter",
.dtp_pbn = 0, .dtp_sysnum = 0, .dtp_argtype = { "void *", "void *"
, ((void *)0), ((void *)0), ((void *)0) }, .dtp_nargs = 2, }
;
76DT_STATIC_PROBE3(vmm, guest_exit, "void *", "void *", "uint64_t")struct dt_probe (dt_static_vmm_guest_exit) = { .dtp_next = { (
(void *)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "vmm", .dtp_name = "guest_exit", .dtp_pbn = 0, .
dtp_sysnum = 0, .dtp_argtype = { "void *", "void *", "uint64_t"
, ((void *)0), ((void *)0) }, .dtp_nargs = 3, }
;
77
78/*
79 * SMR
80 */
81DT_STATIC_PROBE3(smr, call, "void *", "void *", "int")struct dt_probe (dt_static_smr_call) = { .dtp_next = { ((void
*)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "smr", .dtp_name = "call", .dtp_pbn = 0, .dtp_sysnum
= 0, .dtp_argtype = { "void *", "void *", "int", ((void *)0)
, ((void *)0) }, .dtp_nargs = 3, }
;
82DT_STATIC_PROBE2(smr, called, "void *", "void *")struct dt_probe (dt_static_smr_called) = { .dtp_next = { ((void
*)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "smr", .dtp_name = "called", .dtp_pbn = 0, .dtp_sysnum
= 0, .dtp_argtype = { "void *", "void *", ((void *)0), ((void
*)0), ((void *)0) }, .dtp_nargs = 2, }
;
83DT_STATIC_PROBE1(smr, barrier_enter, "int")struct dt_probe (dt_static_smr_barrier_enter) = { .dtp_next =
{ ((void *)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &
dt_prov_static, .dtp_func = "smr", .dtp_name = "barrier_enter"
, .dtp_pbn = 0, .dtp_sysnum = 0, .dtp_argtype = { "int", ((void
*)0), ((void *)0), ((void *)0), ((void *)0) }, .dtp_nargs = 1
, }
;
84DT_STATIC_PROBE1(smr, barrier_exit, "int")struct dt_probe (dt_static_smr_barrier_exit) = { .dtp_next = {
((void *)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &
dt_prov_static, .dtp_func = "smr", .dtp_name = "barrier_exit"
, .dtp_pbn = 0, .dtp_sysnum = 0, .dtp_argtype = { "int", ((void
*)0), ((void *)0), ((void *)0), ((void *)0) }, .dtp_nargs = 1
, }
;
85DT_STATIC_PROBE0(smr, wakeup)struct dt_probe (dt_static_smr_wakeup) = { .dtp_next = { ((void
*)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "smr", .dtp_name = "wakeup", .dtp_pbn = 0, .dtp_sysnum
= 0, .dtp_argtype = { ((void *)0), ((void *)0), ((void *)0),
((void *)0), ((void *)0) }, .dtp_nargs = 0, }
;
86DT_STATIC_PROBE2(smr, thread, "uint64_t", "uint64_t")struct dt_probe (dt_static_smr_thread) = { .dtp_next = { ((void
*)0) }, .dtp_pcbs = { ((void *)0) }, .dtp_prov = &dt_prov_static
, .dtp_func = "smr", .dtp_name = "thread", .dtp_pbn = 0, .dtp_sysnum
= 0, .dtp_argtype = { "uint64_t", "uint64_t", ((void *)0), (
(void *)0), ((void *)0) }, .dtp_nargs = 2, }
;
87
88
89/*
90 * List of all static probes
91 */
92struct dt_probe *dtps_static[] = {
93 /* Scheduler */
94 &_DT_STATIC_P(sched, dequeue)(dt_static_sched_dequeue),
95 &_DT_STATIC_P(sched, enqueue)(dt_static_sched_enqueue),
96 &_DT_STATIC_P(sched, off__cpu)(dt_static_sched_off__cpu),
97 &_DT_STATIC_P(sched, on__cpu)(dt_static_sched_on__cpu),
98 &_DT_STATIC_P(sched, remain__cpu)(dt_static_sched_remain__cpu),
99 &_DT_STATIC_P(sched, sleep)(dt_static_sched_sleep),
100 &_DT_STATIC_P(sched, wakeup)(dt_static_sched_wakeup),
101 /* Raw syscalls */
102 &_DT_STATIC_P(raw_syscalls, sys_enter)(dt_static_raw_syscalls_sys_enter),
103 &_DT_STATIC_P(raw_syscalls, sys_exit)(dt_static_raw_syscalls_sys_exit),
104 /* UVM */
105 &_DT_STATIC_P(uvm, fault)(dt_static_uvm_fault),
106 &_DT_STATIC_P(uvm, map_insert)(dt_static_uvm_map_insert),
107 &_DT_STATIC_P(uvm, map_remove)(dt_static_uvm_map_remove),
108 &_DT_STATIC_P(uvm, malloc)(dt_static_uvm_malloc),
109 &_DT_STATIC_P(uvm, free)(dt_static_uvm_free),
110 &_DT_STATIC_P(uvm, pool_get)(dt_static_uvm_pool_get),
111 &_DT_STATIC_P(uvm, pool_put)(dt_static_uvm_pool_put),
112 /* VFS */
113 &_DT_STATIC_P(vfs, bufcache_rel)(dt_static_vfs_bufcache_rel),
114 &_DT_STATIC_P(vfs, bufcache_take)(dt_static_vfs_bufcache_take),
115 &_DT_STATIC_P(vfs, cleaner)(dt_static_vfs_cleaner),
116 /* VMM */
117 &_DT_STATIC_P(vmm, guest_enter)(dt_static_vmm_guest_enter),
118 &_DT_STATIC_P(vmm, guest_exit)(dt_static_vmm_guest_exit),
119 /* SMR */
120 &_DT_STATIC_P(smr, call)(dt_static_smr_call),
121 &_DT_STATIC_P(smr, called)(dt_static_smr_called),
122 &_DT_STATIC_P(smr, barrier_enter)(dt_static_smr_barrier_enter),
123 &_DT_STATIC_P(smr, barrier_exit)(dt_static_smr_barrier_exit),
124 &_DT_STATIC_P(smr, wakeup)(dt_static_smr_wakeup),
125 &_DT_STATIC_P(smr, thread)(dt_static_smr_thread),
126};
127
128int
129dt_prov_static_init(void)
130{
131 int i;
132
133 for (i = 0; i < nitems(dtps_static)(sizeof((dtps_static)) / sizeof((dtps_static)[0])); i++)
134 dt_dev_register_probe(dtps_static[i]);
135
136 return i;
137}
138
139int
140dt_prov_static_alloc(struct dt_probe *dtp, struct dt_softc *sc,
141 struct dt_pcb_list *plist, struct dtioc_req *dtrq)
142{
143 struct dt_pcb *dp;
144
145 KASSERT(dtioc_req_isvalid(dtrq))((dtioc_req_isvalid(dtrq)) ? (void)0 : __assert("diagnostic "
, "/usr/src/sys/dev/dt/dt_prov_static.c", 145, "dtioc_req_isvalid(dtrq)"
))
;
146 KASSERT(TAILQ_EMPTY(plist))(((((plist)->tqh_first) == ((void *)0))) ? (void)0 : __assert
("diagnostic ", "/usr/src/sys/dev/dt/dt_prov_static.c", 146, "TAILQ_EMPTY(plist)"
))
;
147
148 dp = dt_pcb_alloc(dtp, sc);
149 if (dp == NULL((void *)0))
150 return ENOMEM12;
151
152 dp->dp_filter = dtrq->dtrq_filter;
153 dp->dp_evtflags = dtrq->dtrq_evtflags;
154 TAILQ_INSERT_HEAD(plist, dp, dp_snext)do { if (((dp)->dp_snext.tqe_next = (plist)->tqh_first)
!= ((void *)0)) (plist)->tqh_first->dp_snext.tqe_prev =
&(dp)->dp_snext.tqe_next; else (plist)->tqh_last =
&(dp)->dp_snext.tqe_next; (plist)->tqh_first = (dp
); (dp)->dp_snext.tqe_prev = &(plist)->tqh_first; }
while (0)
;
155
156 return 0;
157}
158
159int
160dt_prov_static_hook(struct dt_provider *dtpv, ...)
161{
162 struct dt_probe *dtp;
163 struct dt_pcb *dp;
164 uintptr_t args[5];
165 va_list ap;
166 int i;
167
168 va_start(ap, dtpv)__builtin_va_start((ap), dtpv);
169 dtp = va_arg(ap, struct dt_probe *)__builtin_va_arg((ap), struct dt_probe *);
170 for (i = 0; i < dtp->dtp_nargs; i++) {
1
Assuming 'i' is < field 'dtp_nargs'
2
Loop condition is true. Entering loop body
3
Assuming 'i' is < field 'dtp_nargs'
4
Loop condition is true. Entering loop body
5
Assuming 'i' is < field 'dtp_nargs'
6
Loop condition is true. Entering loop body
7
Assuming 'i' is >= field 'dtp_nargs'
8
Loop condition is false. Execution continues on line 173
171 args[i] = va_arg(ap, uintptr_t)__builtin_va_arg((ap), uintptr_t);
172 }
173 va_end(ap)__builtin_va_end((ap));
174
175 KASSERT(dtpv == dtp->dtp_prov)((dtpv == dtp->dtp_prov) ? (void)0 : __assert("diagnostic "
, "/usr/src/sys/dev/dt/dt_prov_static.c", 175, "dtpv == dtp->dtp_prov"
))
;
9
Assuming 'dtpv' is equal to field 'dtp_prov'
10
'?' condition is true
176
177 smr_read_enter();
178 SMR_SLIST_FOREACH(dp, &dtp->dtp_pcbs, dp_pnext)for ((dp) = ({ typeof(*&(&dtp->dtp_pcbs)->smr_slh_first
) __tmp = *(volatile typeof(*&(&dtp->dtp_pcbs)->
smr_slh_first) *)&(*&(&dtp->dtp_pcbs)->smr_slh_first
); membar_datadep_consumer(); __tmp; }); (dp) != ((void *)0);
(dp) = ({ typeof(*&(dp)->dp_pnext.smr_sle_next) __tmp
= *(volatile typeof(*&(dp)->dp_pnext.smr_sle_next) *)
&(*&(dp)->dp_pnext.smr_sle_next); membar_datadep_consumer
(); __tmp; }))
{
11
Assuming 'dp' is not equal to null
12
Loop condition is true. Entering loop body
179 struct dt_evt *dtev;
180
181 dtev = dt_pcb_ring_get(dp, 0);
182 if (dtev == NULL((void *)0))
13
Assuming 'dtev' is not equal to NULL
14
Taking false branch
183 continue;
184
185 dtev->dtev_args_args.E_entry[0] = args[0];
186 dtev->dtev_args_args.E_entry[1] = args[1];
187 dtev->dtev_args_args.E_entry[2] = args[2];
188 dtev->dtev_args_args.E_entry[3] = args[3];
15
Assigned value is garbage or undefined
189 dtev->dtev_args_args.E_entry[4] = args[4];
190
191 dt_pcb_ring_consume(dp, dtev);
192 }
193 smr_read_leave();
194 return 1;
195}