/**
 * @file
 *
 * @ingroup RTEMSScoreTimecounter
 *
 * @brief This header file is provided for FreeBSD compatibility.
 */