kern.ipc.msqids readable by uid 1001: 6400 bytes (40 queues x 160 bytes)
qid=34799616 slot=0 qnum=1 cbytes=64
msg_first = 0xfffff8008e0eaa88
msg_last  = 0xfffff8008e0eaa88
padding (never written by kernel): pad1=0000000000000000 pad2=0000000000000000 pad3=0000000000000000 pad4=[0000000000000000,0000000000000000,0000000000000000,0000000000000000]
LEAK: unprivileged sysctl disclosed live kernel heap pointer msg_first=0xfffff8008e0eaa88 (msghdrs allocation, M_MSG)
EXIT=0