From 483d4e08575b6731f4c913b9709fdbe94223f388 Mon Sep 17 00:00:00 2001 From: Jean-Christophe PLAGNIOL-VILLARD Date: Fri, 30 Oct 2009 22:55:23 +0100 Subject: [PATCH] driver: add dev_name inline Signed-off-by: Jean-Christophe PLAGNIOL-VILLARD Signed-off-by: Sascha Hauer --- include/driver.h | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/include/driver.h b/include/driver.h index 2ee7fb1cf..91a3aaa88 100644 --- a/include/driver.h +++ b/include/driver.h @@ -177,6 +177,11 @@ int get_free_deviceid(const char *name_template); char *deviceid_from_spec_str(const char *str, char **endp); +static inline const char *dev_name(const struct device_d *dev) +{ + return dev->name; +} + /* linear list over all available devices */ extern struct list_head device_list; @@ -238,7 +243,7 @@ static inline int dev_close_default(struct device_d *dev, struct filep *f) extern const char *dev_id(const struct device_d *dev); #define dev_printf(dev, format, arg...) \ - printf("%s@%s: " format , (dev)->name , \ + printf("%s@%s: " format , dev_name(dev) , \ dev_id(dev) , ## arg) #define dev_emerg(dev, format, arg...) \