#!/bin/sh
# DF-5725 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./enter_ddb.sh && DF5725_SOCK=/tmp/opencode/df-5725-ser-up.sock ./drive_ddb.py 'x/bx db_invltlb_cmd' 3 'b 0xffffffff85000000' 2 'b db_invltlb_cmd' 2 'show breaks' 3 'c' 8 'x/bx db_invltlb_cmd' 6