diff options
| author | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2013-11-19 14:25:43 +0000 |
|---|---|---|
| committer | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2013-11-19 14:25:43 +0000 |
| commit | afdfd9880ba8d0bb4b48d68ea3ff05d7d0f5cea8 (patch) | |
| tree | bbbf26b0380994236187024b49f9b760ea7935c0 /os/rt/ports/e200/chcore.c | |
| parent | 67019eaa34ed752b62d30c8f5a9fd5a06c1c4941 (diff) | |
| download | ChibiOS-afdfd9880ba8d0bb4b48d68ea3ff05d7d0f5cea8.tar.gz ChibiOS-afdfd9880ba8d0bb4b48d68ea3ff05d7d0f5cea8.tar.bz2 ChibiOS-afdfd9880ba8d0bb4b48d68ea3ff05d7d0f5cea8.zip | |
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/branches/kernel_3_dev@6495 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'os/rt/ports/e200/chcore.c')
| -rw-r--r-- | os/rt/ports/e200/chcore.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/os/rt/ports/e200/chcore.c b/os/rt/ports/e200/chcore.c index 6205b8084..a74c76cad 100644 --- a/os/rt/ports/e200/chcore.c +++ b/os/rt/ports/e200/chcore.c @@ -60,9 +60,9 @@ * switch performance so optimize here as much as you can.
*/
#if !defined(__DOXYGEN__)
-__attribute__((naked, required))
+__attribute__((naked))
#endif
-static void port_dummy1(void) {
+void port_dummy1(void) {
asm (".global _port_switch");
asm ("_port_switch:");
@@ -91,9 +91,9 @@ static void port_dummy1(void) { * invoked.
*/
#if !defined(__DOXYGEN__)
-__attribute__((naked, required))
+__attribute__((naked))
#endif
-static void port_dummy2(void) {
+void port_dummy2(void) {
asm (".global _port_thread_start");
asm ("_port_thread_start:");
|