/* This function returns the driver version number at runtime.  */
uint32_t R_CMT_GetVersion(void)
/* This function returns the driver version number at runtime.  */
uint32_t R_CMT_GetVersion(void)
{
    return ((((uint32_t)CMT_RX_VERSION_MAJOR) << 16) | (uint32_t)CMT_RX_VERSION_MINOR);
}