/*
 * DF-4930 sink demonstration module.
 *
 * Executes the exact terminal sequence of the atphy no-media attach chain:
 *
 *   atphy_attach (atphy.c:140-144) skips mii_phy_add_media ("no media
 *   present"), still calls MIIBUS_MEDIAINIT (atphy.c:149)
 *     -> miibus_mediainit (mii.c:229-246): walks an EMPTY ifm_list,
 *        media stays 0, calls ifmedia_set(&mii->mii_media, 0)
 *     -> ifmedia_set (net/if_media.c): ifmedia_match() on an empty list
 *        returns NULL -> kprintf + panic("ifmedia_set")
 *
 * Only the PHY hardware state (BMSR/EXTSR reporting no media bits while the
 * ID registers still match an ATHEROS F1 PHY) is not emulatable on this
 * guest; the kernel-side sink is executed verbatim.
 */
#include <sys/param.h>
#include <sys/kernel.h>
#include <sys/module.h>
#include <sys/bus.h>
#include <sys/conf.h>
#include <sys/sysctl.h>
#include <sys/systm.h>
#include <net/if.h>
#include <net/if_media.h>

static struct ifmedia ifm;

static int
uafsink_fire(SYSCTL_HANDLER_ARGS)
{
	int v = 0, error;
	struct ifmedia_entry *m;
	int media = 0;

	error = sysctl_handle_opaque(oidp, &v, sizeof(v), req);
	if (error != 0 || req->newptr == NULL)
		return (error);

	kprintf("uafsink: ifmedia_init (empty list)\n");
	ifmedia_init(&ifm, 0, NULL, NULL);

	/* mii.c:234-238 verbatim */
	for (m = LIST_FIRST(&ifm.ifm_list); m != NULL;
	     m = LIST_NEXT(m, ifm_list)) {
		media = m->ifm_media;
		if (media == (IFM_ETHER | IFM_AUTO))
			break;
	}
	kprintf("uafsink: list walk done, media=0x%x; calling ifmedia_set (mii.c:244)\n",
	    media);
	ifmedia_set(&ifm, media);	/* expected: panic("ifmedia_set") */

	kprintf("uafsink: NOT REACHED\n");
	return (0);
}

/*
 * DF-4930 fix-mechanism check (appended behavior to uafsink):
 *
 * The proposed fix (atphy fix.diff) makes atphy_attach call
 * mii_phy_add_media() unconditionally; with zero capabilities that adds
 * exactly the IFM_NONE fallback entry (mii_physubr.c mii_phy_add_media:
 * "if ((sc->mii_flags & MIIF_NOISOLATE) == 0) ADD(IFM_ETHER|IFM_NONE...)"),
 * so miibus_mediainit's ifmedia_set() finds a match and does not panic,
 * and ifm_cur is non-NULL for later atphy_service() calls.
 *
 * hw.uafsink_fixcheck=1 replays the same sequence WITH the fallback entry.
 */
static int
uafsink_fixcheck(SYSCTL_HANDLER_ARGS)
{
	struct ifmedia ifm2;
	int v = 0, error;

	error = sysctl_handle_opaque(oidp, &v, sizeof(v), req);
	if (error != 0 || req->newptr == NULL)
		return (error);

	kprintf("uafsink-fix: ifmedia_init + IFM_NONE fallback entry (the fixed atphy path)\n");
	ifmedia_init(&ifm2, 0, NULL, NULL);
	ifmedia_add(&ifm2,
	    IFM_MAKEWORD(IFM_ETHER, IFM_NONE, 0, 0), 0, NULL);
	kprintf("uafsink-fix: calling ifmedia_set(IFM_ETHER|IFM_NONE) -- must NOT panic\n");
	ifmedia_set(&ifm2, IFM_ETHER | IFM_NONE);
	kprintf("uafsink-fix: survived; ifm_cur=%p (non-NULL keeps atphy_service safe)\n",
	    ifm2.ifm_cur);
	ifmedia_removeall(&ifm2);
	return (0);
}

static int
uafsink_modevent(module_t mod, int type, void *arg)
{
	static struct sysctl_ctx_list ctx;

	switch (type) {
	case MOD_LOAD:
		sysctl_ctx_init(&ctx);
		SYSCTL_ADD_PROC(NULL, SYSCTL_STATIC_CHILDREN(_hw), OID_AUTO,
		    "uafsink_fire", CTLTYPE_INT | CTLFLAG_RW,
		    0, 0, uafsink_fire, "I", "fire the empty-list ifmedia_set");
		SYSCTL_ADD_PROC(NULL, SYSCTL_STATIC_CHILDREN(_hw), OID_AUTO,
		    "uafsink_fixcheck", CTLTYPE_INT | CTLFLAG_RW,
		    0, 0, uafsink_fixcheck, "I", "replay with the fixed fallback entry");
		kprintf("uafsink: loaded; sysctl hw.uafsink_fire=1 to panic\n");
		return (0);
	case MOD_UNLOAD:
		sysctl_ctx_free(&ctx);
		return (0);
	}
	return (0);
}
DEV_MODULE(uafsink, uafsink_modevent, NULL);
