rename kernel_intern.h

german "intern" to english "internal"
This commit is contained in:
Christian Mehlis 2013-07-16 16:36:37 +02:00
parent f1474e4d59
commit 837bad38eb
10 changed files with 14 additions and 14 deletions

View File

@ -1,14 +1,14 @@
/**
* @ingroup kernel
* @{
* @file kernel_intern.h
* @brief prototypes for kernel intern functions
* @file kernel_internal.h
* @brief prototypes for kernel internal functions
* @author INRIA
* @author Oliver Hahm <oliver.hahm@inria.fr>
*/
#ifndef KERNEL_INTERN_H_
#define KERNEL_INTERN_H_
#ifndef KERNEL_INTERNAL_H_
#define KERNEL_INTERNAL_H_
/**
* @brief Initializes scheduler and creates main and idle task
@ -51,4 +51,4 @@ void thread_print_stack(void);
int thread_measure_stack_usage(char *stack);
/** @} */
#endif /* KERNEL_INTERN_H_ */
#endif /* KERNEL_INTERNAL_H_ */

View File

@ -20,7 +20,7 @@
#include <errno.h>
#include <tcb.h>
#include <kernel.h>
#include <kernel_intern.h>
#include <kernel_internal.h>
#include <sched.h>
#include <flags.h>
#include <cpu.h>

View File

@ -17,7 +17,7 @@
#include <stdint.h>
#include <sched.h>
#include <kernel.h>
#include <kernel_intern.h>
#include <kernel_internal.h>
#include <clist.h>
#include <bitarithm.h>

View File

@ -21,7 +21,7 @@
#include "kernel.h"
#include "debug.h"
#include "kernel_intern.h"
#include "kernel_internal.h"
#include "bitarithm.h"
#include "hwtimer.h"
#include "sched.h"

View File

@ -24,7 +24,7 @@
#include <stdio.h>
#include "arm_cpu.h"
#include "sched.h"
#include "kernel_intern.h"
#include "kernel_internal.h"
#define STACK_MARKER (0x77777777)
#define REGISTER_CNT (12)

View File

@ -16,7 +16,7 @@ License. See the file LICENSE in the top level directory for more details.
#endif
#include "cpu.h"
#include "kernel.h"
#include "kernel_intern.h"
#include "kernel_internal.h"
#include "sched.h"
volatile int __inISR = 0;

View File

@ -1,5 +1,5 @@
#include <stdio.h>
#include <kernel_intern.h>
#include <kernel_internal.h>
extern void board_init(void);

View File

@ -38,7 +38,7 @@
#undef __USE_GNU
#endif
#include "kernel_intern.h"
#include "kernel_internal.h"
#include "sched.h"
#include "debug.h"

View File

@ -25,7 +25,7 @@
#endif
#include <err.h>
#include "kernel_intern.h"
#include "kernel_internal.h"
#include "sched.h"
#include "cpu.h"

View File

@ -15,7 +15,7 @@
*/
#include <stdio.h>
#include <kernel_intern.h>
#include <kernel_internal.h>
#include <cpu.h>
extern void board_init(void);