| /illumos-gate/usr/src/tools/smatch/src/smatch_scripts/ |
| H A D | gen_allocation_list.sh | 16 remove=$(echo ${bin_dir}/../smatch_data/kernel.allocation_funcs.remove)
20 > kernel.allocation_funcs
21 echo '// generated by `gen_allocation_list.sh`' >> kernel.allocation_funcs
29 >> kernel.allocation_funcs
|
| /illumos-gate/usr/src/pkg/manifests/ |
| H A D | driver-firewire.p5m | 38 dir path=kernel group=sys
39 dir path=kernel/drv group=sys
40 dir path=kernel/drv/$(ARCH64) group=sys
41 file path=kernel/drv/$(ARCH64)/hci1394 group=sys
42 file path=kernel/drv/hci1394.conf group=sys
43 dir path=kernel/misc group=sys
44 dir path=kernel/misc/$(ARCH64) group=sys
45 file path=kernel/misc/$(ARCH64)/s1394 group=sys mode=0755
|
| H A D | system-kernel-dynamic-reconfiguration-i86pc.p5m | 33 value=pkg:/system/kernel/dynamic-reconfiguration/i86pc@$(PKGVERS)
51 dir path=platform/i86pc/kernel group=sys
52 dir path=platform/i86pc/kernel/drv group=sys
53 dir path=platform/i86pc/kernel/drv/$(ARCH64) group=sys
54 file path=platform/i86pc/kernel/drv/$(ARCH64)/dr group=sys
55 file path=platform/i86pc/kernel/drv/dr.conf group=sys mode=0644
56 dir path=platform/i86pc/kernel/misc group=sys
57 dir path=platform/i86pc/kernel/misc/$(ARCH64) group=sys
58 file path=platform/i86pc/kernel/misc/$(ARCH64)/drmach_acpi group=sys mode=0755
75 depend type=require fmri=pkg:/system/kernel/power
|
| H A D | driver-storage-sdcard.p5m | 37 dir path=kernel group=sys
38 dir path=kernel/drv group=sys
39 dir path=kernel/drv/$(ARCH64) group=sys
40 file path=kernel/drv/$(ARCH64)/sdhost group=sys
41 dir path=kernel/misc group=sys
42 dir path=kernel/misc/$(ARCH64) group=sys
43 file path=kernel/misc/$(ARCH64)/sda group=sys mode=0755
|
| H A D | storage-stmf.p5m | 34 dir path=kernel group=sys
35 dir path=kernel/drv group=sys
36 dir path=kernel/drv/$(ARCH64) group=sys
37 file path=kernel/drv/$(ARCH64)/fct group=sys
38 file path=kernel/drv/$(ARCH64)/pppt group=sys
39 file path=kernel/drv/$(ARCH64)/qlt group=sys
40 file path=kernel/drv/$(ARCH64)/stmf group=sys
41 file path=kernel/drv/$(ARCH64)/stmf_sbd group=sys
42 file path=kernel/drv/fct.conf group=sys
43 file path=kernel/drv/pppt.conf group=sys
[all …]
|
| H A D | driver-network-rdsv3.p5m | 41 dir path=kernel group=sys
42 dir path=kernel/drv group=sys
43 dir path=kernel/drv/$(ARCH64) group=sys
44 file path=kernel/drv/$(ARCH64)/rdsv3 group=sys
45 file path=kernel/drv/rdsv3.conf group=sys preserve=renamenew
46 dir path=kernel/socketmod group=sys
47 dir path=kernel/socketmod/$(ARCH64) group=sys
48 file path=kernel/socketmod/$(ARCH64)/sockrds group=sys mode=0755
|
| H A D | system-network-ipqos-ipqos-config.p5m | 42 dir path=kernel group=sys
43 dir path=kernel/ipp group=sys
44 dir path=kernel/ipp/$(ARCH64) group=sys
45 file path=kernel/ipp/$(ARCH64)/dlcosmk group=sys mode=0755
46 file path=kernel/ipp/$(ARCH64)/dscpmk group=sys mode=0755
47 file path=kernel/ipp/$(ARCH64)/flowacct group=sys mode=0755
48 file path=kernel/ipp/$(ARCH64)/tokenmt group=sys mode=0755
49 file path=kernel/ipp/$(ARCH64)/tswtclmt group=sys mode=0755
|
| H A D | system-network-overlay.p5m | 23 dir path=kernel group=sys
24 dir path=kernel/drv group=sys
25 dir path=kernel/drv/$(ARCH64) group=sys
26 file path=kernel/drv/$(ARCH64)/overlay group=sys
27 file path=kernel/drv/overlay.conf group=sys
28 dir path=kernel/overlay
29 dir path=kernel/overlay/$(ARCH64)
30 file path=kernel/overlay/$(ARCH64)/vxlan group=sys mode=0755
|
| H A D | driver-network-mwl.p5m | 40 dir path=kernel group=sys
41 dir path=kernel/drv group=sys
42 dir path=kernel/drv/$(ARCH64) group=sys
43 file path=kernel/drv/$(ARCH64)/mwl group=sys
44 dir path=kernel/misc group=sys
45 dir path=kernel/misc/$(ARCH64) group=sys
46 file path=kernel/misc/$(ARCH64)/mwlfw group=sys mode=0755
|
| H A D | driver-network-rds.p5m | 40 dir path=kernel group=sys
41 dir path=kernel/drv group=sys
42 dir path=kernel/drv/$(ARCH64) group=sys
43 file path=kernel/drv/$(ARCH64)/rds group=sys
44 file path=kernel/drv/$(ARCH64)/rdsib group=sys
45 file path=kernel/drv/rds.conf group=sys
46 file path=kernel/drv/rdsib.conf group=sys
|
| H A D | system-bhyve.p5m | 34 dir path=kernel group=sys
35 dir path=kernel/kmdb group=sys
36 dir path=kernel/kmdb/$(ARCH64) group=sys
37 file path=kernel/kmdb/$(ARCH64)/vmm group=sys mode=0555
39 dir path=usr/kernel/drv group=sys
40 dir path=usr/kernel/drv/$(ARCH64) group=sys
41 file path=usr/kernel/drv/$(ARCH64)/ppt
42 file path=usr/kernel/drv/$(ARCH64)/viona
43 file path=usr/kernel/drv/$(ARCH64)/vmm
44 file path=usr/kernel/drv/ppt.conf
[all …]
|
| H A D | driver-network-sdp.p5m | 42 dir path=kernel group=sys
43 dir path=kernel/drv group=sys
44 dir path=kernel/drv/$(ARCH64) group=sys
45 file path=kernel/drv/$(ARCH64)/sdp group=sys
46 file path=kernel/drv/sdp.conf group=sys
47 dir path=kernel/socketmod group=sys
48 dir path=kernel/socketmod/$(ARCH64) group=sys
49 file path=kernel/socketmod/$(ARCH64)/socksdp group=sys mode=0755
|
| H A D | driver-network-uath.p5m | 40 dir path=kernel group=sys
41 dir path=kernel/drv group=sys
42 dir path=kernel/drv/$(ARCH64) group=sys
43 file path=kernel/drv/$(ARCH64)/uath group=sys
44 dir path=kernel/misc group=sys
45 dir path=kernel/misc/$(ARCH64) group=sys
46 file path=kernel/misc/$(ARCH64)/uathfw group=sys mode=0755
|
| H A D | driver-network-eoib.p5m | 37 dir path=kernel group=sys
38 dir path=kernel/drv group=sys
39 dir path=kernel/drv/$(ARCH64) group=sys
40 file path=kernel/drv/$(ARCH64)/eibnx group=sys
41 file path=kernel/drv/$(ARCH64)/eoib group=sys
42 file path=kernel/drv/eibnx.conf group=sys
|
| H A D | system-file-system-smb.p5m | 46 dir path=usr/kernel group=sys
47 dir path=usr/kernel/drv group=sys
48 dir path=usr/kernel/drv/$(ARCH64) group=sys
49 file path=usr/kernel/drv/$(ARCH64)/nsmb group=sys
50 file path=usr/kernel/drv/nsmb.conf group=sys
51 dir path=usr/kernel/fs group=sys
52 dir path=usr/kernel/fs/$(ARCH64) group=sys
53 file path=usr/kernel/fs/$(ARCH64)/smbfs group=sys mode=0755
54 dir path=usr/kernel/kmdb group=sys
55 dir path=usr/kernel/kmdb/$(ARCH64) group=sys
[all …]
|
| H A D | driver-network-ena.p5m | 23 dir path=kernel group=sys
24 dir path=kernel/drv group=sys
25 dir path=kernel/drv/$(ARCH64) group=sys
26 file path=kernel/drv/$(ARCH64)/ena group=sys
27 file path=kernel/drv/ena.conf group=sys
|
| H A D | driver-network-hxge.p5m | 39 dir path=kernel group=sys
40 dir path=kernel/drv group=sys
41 dir path=kernel/drv/$(ARCH64) group=sys
42 file path=kernel/drv/$(ARCH64)/hxge group=sys
43 file path=kernel/drv/hxge.conf group=sys \
44 original_name=SUNWhxge:kernel/drv/hxge.conf preserve=renamenew
|
| H A D | driver-network-nxge.p5m | 38 dir path=kernel group=sys
39 dir path=kernel/drv group=sys
40 dir path=kernel/drv/$(ARCH64) group=sys
41 file path=kernel/drv/$(ARCH64)/nxge group=sys
42 file path=kernel/drv/nxge.conf group=sys \
43 original_name=SUNWnxge:kernel/drv/nxge.conf preserve=renamenew
|
| /illumos-gate/usr/src/grub/ |
| H A D | install_menu | 28 kernel$ /boot/platform/i86pc/kernel/$ISADIR/unix -B install_media=cdrom
31 kernel$ /boot/platform/i86pc/kernel/$ISADIR/unix -B install_media=cdrom,console=ttya
34 kernel$ /boot/platform/i86pc/kernel/$ISADIR/unix -B install_media=cdrom,console=ttyb
|
| /illumos-gate/usr/src/tools/smatch/src/Documentation/ |
| H A D | submitting-patches.md | 5 [Submitting Patches](https://www.kernel.org/doc/html/v4.12/process/submitting-patches.html)
12 git clone git://git.kernel.org/pub/scm/devel/sparse/sparse.git
14 2. [Coding Style](https://www.kernel.org/doc/html/v4.12/process/coding-style.html) remains the same.
18 …gned-off-by tag is the same as [Linux Kernel Sign your work](https://www.kernel.org/doc/html/v4.12…
30 Send patches for to Smatch to <smatch@vger.kernel.org>. If the code is
32 mailing list instead <linux-sparse@vger.kernel.org> and I will pick it up
|
| H A D | smatch.txt | 10 The Smatch mailing list is <smatch@vger.kernel.org>.
29 for the kernel takes 2-3 hours on my computer. For the kernel you build
35 For projects other than the kernel you run Smatch with the options
44 If you are running Smatch over the whole kernel you can use the following
52 If you are running Smatch just over one kernel file:
63 variables are passed to kernel build system - thus allowing for the use of
66 If you are building something else (which is not the Linux kernel) then use
82 Sparse mailing list linux-sparse@vger.kernel.org and I will pick them up from
|
| /illumos-gate/usr/src/cmd/ipf/tools/ |
| H A D | ipnat.c | 101 char *file, *core, *kernel; in main() local
111 kernel = NULL; in main()
142 kernel = optarg; in main()
170 if ((kernel != NULL) || (core != NULL)) { in main()
185 if (!(opts & OPT_DONOTHING) && (kernel == NULL) && (core == NULL)) { in main()
187 if (openkmem(kernel, core) == -1) in main()
213 } else if ((kernel != NULL) || (core != NULL)) { in main()
214 if (openkmem(kernel, core) == -1) in main()
217 natstat_dead(nsp, kernel); in main()
239 natstat_dead(natstat_t *nsp, char *kernel) in natstat_dead() argument
[all …]
|
| /illumos-gate/usr/src/cmd/boot/filelist/i386/ |
| H A D | filelist.ramdisk | 22 kernel
23 platform/i86hvm/kernel
24 platform/i86pc/kernel
25 platform/i86xpv/kernel
|
| /illumos-gate/usr/src/cmd/boot/scripts/ |
| H A D | root_archive.ksh | 144 find usr/kernel -type file -print 2> /dev/null \
165 find kernel platform -name unix | \
167 find kernel platform -name genunix | cpio -pdum $DST \
169 find kernel platform -name platmod | cpio -pdum $DST \
171 find `find kernel platform -name cpu` | \
173 find `find kernel platform -name kmdb\*` | \
175 find kernel/misc/sparcv9/ctf kernel/fs/sparcv9/dcfs \
|
| /illumos-gate/usr/src/uts/common/fs/smbclnt/netsmb/ |
| H A D | README | 7 It is a complete, kernel side implementation of SMB requester and filesystem.
12 FreeBSD-current kernel module is included in the base source
40 kernel/netsmb uts/common/netsmb (exported headers)
41 kernel/netsmb uts/common/fs/smbclnt/netsmb
42 kernel/fs/smbfs uts/common/fs/smbclnt/smbfs
|