static struct dmi_device * dmi_find_device(int type, const char *name, 
static inline struct dmi_device * dmi_find_device(int type, const char *name, 
static struct dmi_device * dmi_find_device(int type, const char *name,	struct dmi_device *from) { return NULL; }
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c47a3167d0454c0af5fb0a0322b01a0e3487798e/dmi.h/buggy/include/linux/dmi.h