12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152 |
- #include <kernel.h>
- #include <init.h>
- #include <drivers/timer/system_timer.h>
- void __weak sys_clock_isr(void *arg)
- {
- __ASSERT_NO_MSG(false);
- }
- int __weak sys_clock_driver_init(const struct device *dev)
- {
- ARG_UNUSED(dev);
- return 0;
- }
- int __weak sys_clock_device_ctrl(const struct device *dev,
- enum pm_device_action action)
- {
- return -ENOSYS;
- }
- void __weak sys_clock_set_timeout(int32_t ticks, bool idle)
- {
- }
- void __weak sys_clock_idle_exit(void)
- {
- }
- void __weak sys_clock_disable(void)
- {
- }
- SYS_DEVICE_DEFINE("sys_clock", sys_clock_driver_init, sys_clock_device_ctrl,
- PRE_KERNEL_2, CONFIG_SYSTEM_CLOCK_INIT_PRIORITY);
|