Symbol: pic64hpsc_mdio_dev