};
-#ifdef __KERNEL__
-
-#include <linux/compiler.h>
-
-extern int vc_set_vhi_name(struct vx_info *, void __user *);
-extern int vc_get_vhi_name(struct vx_info *, void __user *);
-
-#endif /* __KERNEL__ */
#define VCMD_virt_stat VC_CMD(VSTAT, 3, 0)
uint32_t load[3];
};
-#ifdef __KERNEL__
-extern int vc_virt_stat(struct vx_info *, void __user *);
-
-#endif /* __KERNEL__ */
#endif /* _VX_CVIRT_CMD_H */