__cvmx_helper_board_usb_get_clock_type
c = __cvmx_helper_board_usb_get_clock_type();
enum cvmx_helper_board_usb_clock_types __cvmx_helper_board_usb_get_clock_type(void);