X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=kern%2Fproc.h;h=482fb7a39708f3a1193f1e0b2689322dded7bbbe;hb=HEAD;hp=6039c4c101cb22988f75a9c0f3032ae9e87adad0;hpb=9cdf4c220f3d40b3ae17465e8d94741973186f16;p=bertos.git

diff --git a/kern/proc.h b/kern/proc.h
deleted file mode 100755
index 6039c4c1..00000000
--- a/kern/proc.h
+++ /dev/null
@@ -1,61 +0,0 @@
-/*!
- * \file
- * <!--
- * Copyright 2001,2004 Develer S.r.l. (http://www.develer.com/)
- * Copyright 1999,2000,2001 Bernardo Innocenti <bernie@develer.com>
- * This file is part of DevLib - See devlib/README for information.
- * -->
- *
- * \brief Process scheduler (public interface).
- *
- * \version $Id$
- *
- * \author Bernardo Innocenti <bernie@develer.com>
- */
-
-/*
- * $Log$
- * Revision 1.3  2004/07/30 14:31:23  rasky
- * Hunk sfuggito al commit precedente (aggiornamento kernel)
- *
- * Revision 1.2  2004/06/03 11:27:09  bernie
- * Add dual-license information.
- *
- * Revision 1.1  2004/05/23 17:27:00  bernie
- * Import kern/ subdirectory.
- *
- */
-
-#ifndef KERN_PROC_H
-#define KERN_PROC_H
-
-#include "compiler.h"
-#include "cpu.h"
-#include "config_kern.h"
-
-/* Fwd decl */
-struct Process;
-
-/* Task scheduling services */
-void proc_init(void);
-struct Process *proc_new(void (*entry)(void), size_t stacksize, cpustack_t *stack);
-void proc_exit(void);
-void proc_switch(void);
-void proc_test(void);
-struct Process* proc_current(void);
-
-#if CONFIG_KERN_MONITOR
-size_t monitor_check_stack(cpustack_t* stack_base, size_t stack_size);
-void monitor_debug_stacks(void);
-#endif
-
-#if CONFIG_KERN_PREEMPTIVE
-	#define	FORBID proc_forbid()
-	#define	PERMIT proc_permit()
-#else
-	#define FORBID
-	#define PERMIT
-#endif
-
-#endif /* KERN_PROC_H */
-