#!/bin/sh
# DF-1213 reachability probe — device-controlled (vmxnet3 rxcd); no syscall path.
echo "[DF-1213] reachability probe"
echo "--- vmxnet3 (vmx0) interface present? ---"
ifconfig vmx0 2>/dev/null && echo "  vmx0 EXISTS" || echo "  no vmx0 (guest NIC is vtnet0 virtio-net)"
echo "--- vmxnet3 PCI device? ---"
pciconf -l 2>/dev/null | grep -iE "15ad.*07b0|vmxnet" || echo "  no vmxnet3 PCI device (vendor 15ad)"
echo
echo "[DF-1213] VERDICT: RX completion path unreachable on this guest (no vmxnet3)."
echo "  Bug is real (see VERDICT.md) but NOT TESTABLE here."