8 void vx_vsi_uptime(struct timespec *, struct timespec *);
13 void vx_update_load(struct vx_info *);
16 int vx_do_syslog(int, char __user *, int);
18 #endif /* __KERNEL__ */
19 #else /* _VX_CVIRT_H */
20 #warning duplicate inclusion
21 #endif /* _VX_CVIRT_H */