diff options
Diffstat (limited to 'os/kernel/templates/chcore.c')
-rw-r--r-- | os/kernel/templates/chcore.c | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/os/kernel/templates/chcore.c b/os/kernel/templates/chcore.c index d1bad3c02..2bca5eb6c 100644 --- a/os/kernel/templates/chcore.c +++ b/os/kernel/templates/chcore.c @@ -1,5 +1,5 @@ /*
- ChibiOS/RT - Copyright (C) 2006-2007 Giovanni Di Sirio.
+ ChibiOS/RT - Copyright (C) 2006,2007,2008,2009,2010 Giovanni Di Sirio.
This file is part of ChibiOS/RT.
@@ -33,7 +33,7 @@ /**
* @brief Port-related initialization code.
- * @note This function is usually empty. + * @note This function is usually empty.
*/
void port_init(void) {
}
@@ -41,7 +41,7 @@ void port_init(void) { /**
* @brief Kernel-lock action.
* @details Usually this function just disables interrupts but may perform more
- * actions. + * actions.
*/
void port_lock(void) {
}
@@ -74,20 +74,20 @@ void port_unlock_from_isr(void) { /**
* @brief Disables all the interrupt sources.
- * @note Of course non maskable interrupt sources are not included. + * @note Of course non maskable interrupt sources are not included.
*/
void port_disable(void) {
}
/**
* @brief Disables the interrupt sources that are not supposed to preempt
- * the kernel. + * the kernel.
*/
void port_suspend(void) {
}
/**
- * @brief Enables all the interrupt sources. + * @brief Enables all the interrupt sources.
*/
void port_enable(void) {
}
@@ -97,7 +97,7 @@ void port_enable(void) { * @details The function is meant to return when an interrupt becomes pending.
* The simplest implementation is an empty function or macro but this
* would not take advantage of architecture-specific power saving
- * modes. + * modes.
*/
void port_wait_for_interrupt(void) {
}
@@ -107,7 +107,7 @@ void port_wait_for_interrupt(void) { * @details This function is invoked by the operating system when an
* unrecoverable error is detected (as example because a programming
* error in the application code that triggers an assertion while in
- * debug mode). + * debug mode).
*/
void port_halt(void) {
|