4 #include <minix/vboxtype.h>
6 typedef int vbox_conn_t
;
8 extern int vbox_init(void);
10 extern vbox_conn_t
vbox_open(char *name
);
11 extern int vbox_close(vbox_conn_t conn
);
12 extern int vbox_call(vbox_conn_t conn
, u32_t function
, vbox_param_t
*param
,
13 int count
, int *code
);
15 extern void vbox_set_u32(vbox_param_t
*param
, u32_t value
);
16 extern void vbox_set_u64(vbox_param_t
*param
, u64_t value
);
17 extern void vbox_set_ptr(vbox_param_t
*param
, void *ptr
, size_t size
,
19 extern void vbox_set_grant(vbox_param_t
*param
, endpoint_t endpt
,
20 cp_grant_id_t grant
, size_t off
, size_t size
, unsigned int dir
);
22 extern u32_t
vbox_get_u32(vbox_param_t
*param
);
23 extern u64_t
vbox_get_u64(vbox_param_t
*param
);
25 extern void vbox_put(vbox_param_t
*param
, int count
);
27 #endif /* _MINIX_VBOX_H */