1a1a9539ea
Rename timer driver API functions to be consistent. ADD DOCS TO THE HEADER so implementations understand what the requirements are. Remove some unused functions that don't need declarations here. Also removes the per-platform #if's around the power control callback in favor of a weak-linked noop function in the driver initialization (adds a few bytes of code to default platforms -- we'll live, I think). Signed-off-by: Andy Ross <andrew.j.ross@intel.com>
33 lines
608 B
C
33 lines
608 B
C
/*
|
|
* Copyright (c) 2015 Wind River Systems, Inc.
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*/
|
|
|
|
/**
|
|
* @file common target reboot functionality
|
|
*
|
|
* @details See misc/Kconfig and the reboot help for details.
|
|
*/
|
|
|
|
#include <kernel.h>
|
|
#include <drivers/system_timer.h>
|
|
#include <misc/printk.h>
|
|
#include <misc/reboot.h>
|
|
|
|
extern void sys_arch_reboot(int type);
|
|
extern void sys_clock_disable(void);
|
|
|
|
void sys_reboot(int type)
|
|
{
|
|
(void)irq_lock();
|
|
sys_clock_disable();
|
|
|
|
sys_arch_reboot(type);
|
|
|
|
/* should never get here */
|
|
printk("Failed to reboot: spinning endlessly...\n");
|
|
for (;;) {
|
|
k_cpu_idle();
|
|
}
|
|
}
|