sys_clocksource_is_based_on_tsc
bool sys_clocksource_is_based_on_tsc(void);
TEST_REQUIRE(sys_clocksource_is_based_on_tsc());
TEST_REQUIRE(sys_clocksource_is_based_on_tsc());
TEST_REQUIRE(sys_clocksource_is_based_on_tsc());