Adjust for DevLib.
[bertos.git] / kern / proc.h
1 /*!
2  * \file
3  * <!--
4  * Copyright 2001,2004 Develer S.r.l. (http://www.develer.com/)
5  * Copyright 1999,2000,2001 Bernardo Innocenti <bernie@develer.com>
6  * This file is part of DevLib - See devlib/README for information.
7  * -->
8  *
9  * \brief Process scheduler (public interface).
10  *
11  * \version $Id$
12  *
13  * \author Bernardo Innocenti <bernie@develer.com>
14  */
15
16 /*
17  * $Log$
18  * Revision 1.3  2004/07/30 14:31:23  rasky
19  * Hunk sfuggito al commit precedente (aggiornamento kernel)
20  *
21  * Revision 1.2  2004/06/03 11:27:09  bernie
22  * Add dual-license information.
23  *
24  * Revision 1.1  2004/05/23 17:27:00  bernie
25  * Import kern/ subdirectory.
26  *
27  */
28
29 #ifndef KERN_PROC_H
30 #define KERN_PROC_H
31
32 #include "compiler.h"
33 #include "cpu.h"
34 #include "config_kern.h"
35
36 /* Fwd decl */
37 struct Process;
38
39 /* Task scheduling services */
40 void proc_init(void);
41 struct Process *proc_new(void (*entry)(void), size_t stacksize, cpustack_t *stack);
42 void proc_exit(void);
43 void proc_switch(void);
44 void proc_test(void);
45 struct Process* proc_current(void);
46
47 #if CONFIG_KERN_MONITOR
48 size_t monitor_check_stack(cpustack_t* stack_base, size_t stack_size);
49 void monitor_debug_stacks(void);
50 #endif
51
52 #if CONFIG_KERN_PREEMPTIVE
53         #define FORBID proc_forbid()
54         #define PERMIT proc_permit()
55 #else
56         #define FORBID
57         #define PERMIT
58 #endif
59
60 #endif /* KERN_PROC_H */
61