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