1 #ifndef _MINIX_VBOX_H 2 #define _MINIX_VBOX_H 3 4 #include <minix/vboxtype.h> 5 6 typedef int vbox_conn_t; 7 8 extern int vbox_init(void); 9 10 extern vbox_conn_t vbox_open(const 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); 14 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, 18 unsigned int dir); 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); 21 22 extern u32_t vbox_get_u32(vbox_param_t *param); 23 extern u64_t vbox_get_u64(vbox_param_t *param); 24 25 extern void vbox_put(vbox_param_t *param, int count); 26 27 #endif /* _MINIX_VBOX_H */ 28