26 |
|
|
27 |
#include "proc.h" |
#include "proc.h" |
28 |
|
|
29 |
|
/* Global port set for server -- all requests are recevied |
30 |
|
on this. */ |
31 |
|
extern rtmk_port_t ux_pset; |
32 |
|
|
33 |
/* Privileged host port that we got from the kernel. */ |
/* Privileged host port that we got from the kernel. */ |
34 |
extern rtmk_port_t host_port; |
extern rtmk_port_t host_port; |
35 |
|
|
37 |
|
|
38 |
extern void panic (const char *fmt, ...); |
extern void panic (const char *fmt, ...); |
39 |
|
|
40 |
|
#define trace_printf(FMT...) _trace_printf (FMT) |
41 |
|
extern void _trace_printf (const char *fmt, ...); |
42 |
|
|
43 |
#endif /* _NOVA_INTERN_H */ |
#endif /* _NOVA_INTERN_H */ |