#!/bin/bash
cd /tmp
sudo dmesg -C
( sudo bash /tmp/slotfill2.sh > /dev/null 2>&1 & )
sleep 0.5
(timeout 60 /tmp/vk_frame 1 64 64 5 /tmp 0 > /tmp/vk79.out 2>&1 &)
sleep 5
PID=$(pgrep -x vk_frame | head -1)
gdb -p $PID -batch \
  -ex "set pagination off" \
  -ex "catch syscall ioctl" \
  -ex "condition 1 \$rsi == 0xc020462a" \
  -ex "continue" \
  -ex "printf \"ioctl nr=0x2a arg=%p\n\", \$rdx" \
  -ex "x/40wx \$rdx" \
  -ex "detach" 2>/dev/null | tail -45