|
@@ -51,6 +51,7 @@ extern void arch_setup_pdev_archdata(struct platform_device *);
|
|
extern struct resource *platform_get_resource(struct platform_device *,
|
|
extern struct resource *platform_get_resource(struct platform_device *,
|
|
unsigned int, unsigned int);
|
|
unsigned int, unsigned int);
|
|
extern int platform_get_irq(struct platform_device *, unsigned int);
|
|
extern int platform_get_irq(struct platform_device *, unsigned int);
|
|
|
|
+extern int platform_irq_count(struct platform_device *);
|
|
extern struct resource *platform_get_resource_byname(struct platform_device *,
|
|
extern struct resource *platform_get_resource_byname(struct platform_device *,
|
|
unsigned int,
|
|
unsigned int,
|
|
const char *);
|
|
const char *);
|