3 * ________ _________ ____ / __ \/ ___/
4 * / ___/ _ \/ ___/ __ \/ __ \/ / / /\__ \
5 * / / / __/ /__/ /_/ / / / / /_/ /___/ /
6 * /_/ \___/\___/\____/_/ /_/\____//____/
8 * ======================================================================
10 * title: ReconOS library - Private header file
13 * author: Andreas Agne, University of Paderborn
14 * Christoph RĂ¼thing, University of Paderborn
15 * description: Head file with private only definitions.
17 * ======================================================================
20 #ifndef RECONOS_PRIVATE_H
21 #define RECONOS_PRIVATE_H
26 pthread_t page_fault_handler
;
31 struct reconos_runtime
{
32 struct proc_control proc_control
;
33 struct reconos_configuration
* (*scheduler
)(struct reconos_hwt
*hwt
);
36 extern struct reconos_runtime reconos_runtime
;
38 #endif /* RECONOS_PRIVATE_H */