int server_name2index(const char *svname, __u32 *idx, const char **endptr);
/* linux-module.c */
-extern struct miscdevice obd_psdev;
int obd_ioctl_getdata(char **buf, int *len, void __user *arg);
int class_procfs_init(void);
int class_procfs_clean(void);