19 |
#define __host_h 1 |
#define __host_h 1 |
20 |
|
|
21 |
#include "ipc-port.h" |
#include "ipc-port.h" |
22 |
|
struct vm_object; |
23 |
|
|
24 |
/* Master host port. */ |
/* Master host port. */ |
25 |
|
|
29 |
|
|
30 |
extern void host_init (void); |
extern void host_init (void); |
31 |
|
|
32 |
|
/* Reboot host. HOST_PORT must be master host port. */ |
33 |
|
extern kern_return_t host_reboot (struct ipc_port *host_port); |
34 |
|
|
35 |
|
/* Create a new host memory object. OFFSET is offset into physical |
36 |
|
memory. SIZE should be page aligned. Right to object is returned |
37 |
|
in OBJECTP. */ |
38 |
|
extern kern_return_t |
39 |
|
host_memory_object_create (struct ipc_port *host_port, |
40 |
|
vm_offset_t offset, vm_size_t size, |
41 |
|
struct vm_object **objectp); |
42 |
|
|
43 |
#endif /* host.h */ |
#endif /* host.h */ |