⬢ DragonFlyBSD Kernel Audit
DF-4758 / df4758_run2.log
← back to finding ↓ download raw
+ date
Wed Sep 23 10:22:12 UTC 2026
+ vinum l
1 drives:
D d1                    State: up	Device /dev/md0s0a	Avail: 3/9 MB (37%)

1 volumes:
V v0                    State: up	Plexes:       1	Size:       6144 kB

1 plexes:
P p0                  C State: up	Subdisks:     6	Size:       6144 kB

6 subdisks:
S s0                    State: up	PO:        0  B Size:       1024 kB
S s1                    State: up	PO:     1024 kB Size:       1024 kB
S s2                    State: up	PO:     2048 kB Size:       1024 kB
S s3                    State: up	PO:     3072 kB Size:       1024 kB
S s4                    State: up	PO:     4096 kB Size:       1024 kB
S s5                    State: up	PO:     5120 kB Size:       1024 kB
+ cc -O -o /tmp/df4758_swapon /tmp/df4758_swapon.c
+ echo '==== each sd is 1 MB (2048 512-blocks). v0 is 6 MB (12288 512-blocks). ===='
==== each sd is 1 MB (2048 512-blocks). v0 is 6 MB (12288 512-blocks). ====
+ echo '==== if swapinfo shows 12288 (or any non-2048 value) for sd/s0, ===='
==== if swapinfo shows 12288 (or any non-2048 value) for sd/s0, ====
+ echo '==== vinumsize() answered for the WRONG OBJECT. ===='
==== vinumsize() answered for the WRONG OBJECT. ====
+ /tmp/df4758_swapon /dev/vinum/sd/s0 /dev/vinum/sd/s1 /dev/vinum/sd/s4 /dev/vinum/sd/s5
== swapon(/dev/vinum/sd/s0): OK
== swapon(/dev/vinum/sd/s1): FAILED errno=6 (Device not configured)
== swapon(/dev/vinum/sd/s4): FAILED errno=6 (Device not configured)
== swapon(/dev/vinum/sd/s5): FAILED errno=6 (Device not configured)
== swapinfo now:
Device          512-blocks     Used    Avail Capacity  Type
/dev/vbd0s1b       8388608        0  8388608     0%    Interleaved
/dev/vinum/sd/s0      12288        0    12288     0%    Interleaved
Total              8400896        0  8400896     0%
+ echo '==== cleanup ===='
==== cleanup ====
+ swapoff /dev/vinum/sd/s0
swapoff: removing /dev/vinum/sd/s0 as swap device
+ swapoff /dev/vinum/sd/s4
swapoff: /dev/vinum/sd/s4: Invalid argument
+ swapoff /dev/vinum/sd/s5
swapoff: /dev/vinum/sd/s5: Invalid argument
+ swapinfo
Device          512-blocks     Used    Avail Capacity  Type
/dev/vbd0s1b       8388608        0  8388608     0%    Interleaved
+ dmesg
+ tail -8
vinumioctl: invalid ioctl from process 924 (vinum): 40906468
vinumioctl: invalid ioctl from process 926 (vinum): 40906468
vinumioctl: invalid ioctl from process 927 (vinum): 40906468
vinumioctl: invalid ioctl from process 925 (vinum): 40906468
vinumioctl: invalid ioctl from process 961 (vinum): 40906468
vinumioctl: invalid ioctl from process 962 (vinum): 40906468
swap low/high-water marks set to 41999/62999
swap low/high-water marks set to 41940/62910