2015-07-06 16:20:19 -04:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2015 Wind River Systems, Inc.
|
|
|
|
*
|
2017-01-18 17:01:01 -08:00
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
2015-07-06 16:20:19 -04:00
|
|
|
*/
|
|
|
|
|
2015-12-04 10:09:39 -05:00
|
|
|
/**
|
|
|
|
* @file
|
|
|
|
* @brief Initialize system clock driver
|
|
|
|
*
|
2015-10-20 09:42:33 -07:00
|
|
|
* Initializing the timer driver is done in this module to reduce code
|
2016-12-19 18:41:17 -05:00
|
|
|
* duplication.
|
2015-12-04 10:09:39 -05:00
|
|
|
*/
|
2015-07-06 16:20:19 -04:00
|
|
|
|
2022-05-06 10:25:46 +02:00
|
|
|
#include <zephyr/kernel.h>
|
|
|
|
#include <zephyr/init.h>
|
|
|
|
#include <zephyr/drivers/timer/system_timer.h>
|
2015-07-06 16:20:19 -04:00
|
|
|
|
2021-03-13 08:02:16 -05:00
|
|
|
/* Weak-linked noop defaults for optional driver interfaces*/
|
2018-09-25 08:53:33 -07:00
|
|
|
|
2021-02-25 15:33:15 -05:00
|
|
|
void __weak sys_clock_set_timeout(int32_t ticks, bool idle)
|
2018-09-25 08:53:33 -07:00
|
|
|
{
|
|
|
|
}
|
2018-11-01 16:25:37 -04:00
|
|
|
|
2021-02-25 15:33:15 -05:00
|
|
|
void __weak sys_clock_idle_exit(void)
|
2018-10-11 22:46:59 -07:00
|
|
|
{
|
|
|
|
}
|