--- sys/dev/mii/ukphy.c.orig	2007-01-20 09:52:29.000000000 +0900
+++ sys/dev/mii/ukphy.c	2008-06-03 09:51:28.000000000 +0900
@@ -159,6 +159,11 @@
 	mii_phy_add_media(sc);
 	printf("\n");
 
+#if 1
+	device_printf(dev, "IDR1 = 0x%04x, IDR2 = 0x%04x\n",
+	    PHY_READ(sc, MII_PHYIDR1), PHY_READ(sc, MII_PHYIDR2));
+#endif
+
 	MIIBUS_MEDIAINIT(sc->mii_dev);
 	mii_phy_setmedia(sc);