18 |
#ifndef __host_h |
#ifndef __host_h |
19 |
#define __host_h 1 |
#define __host_h 1 |
20 |
|
|
21 |
|
#include <rtmk/host-info.h> |
22 |
|
|
23 |
|
#include "tm.h" |
24 |
#include "ipc-port.h" |
#include "ipc-port.h" |
25 |
struct vm_object; |
struct vm_object; |
26 |
struct eventcnt; |
struct eventcnt; |
27 |
|
|
28 |
/* Master host port. */ |
/* Master host port. */ |
|
|
|
29 |
extern struct ipc_port *master_host_port; |
extern struct ipc_port *master_host_port; |
30 |
|
|
31 |
/* Initialize host system. */ |
/* Initialize host system. */ |
|
|
|
32 |
extern void host_init (void); |
extern void host_init (void); |
33 |
|
|
34 |
/* Reboot host. HOST_PORT must be master host port. */ |
/* Reboot host. HOST_PORT must be master host port. */ |
48 |
int intr_no, |
int intr_no, |
49 |
struct eventcnt *evc); |
struct eventcnt *evc); |
50 |
|
|
51 |
|
|
52 |
|
/* Information structures. Used by system to keep track of |
53 |
|
statistics that can be reported to the user/application. */ |
54 |
|
extern struct host_info_basic host_info_basic; |
55 |
|
extern struct host_info_processor host_info_processor [NCPUS]; |
56 |
|
|
57 |
#endif /* host.h */ |
#endif /* host.h */ |