cvmx_helper_board_get_mii_address
phy_addr = cvmx_helper_board_get_mii_address(ipd_port);
int phy_addr = cvmx_helper_board_get_mii_address(CVMX_HELPER_BOARD_MGMT_IPD_PORT + i);
extern int cvmx_helper_board_get_mii_address(int ipd_port);