#ifndef _ARCH_ARM_GPIO_H
#define _ARCH_ARM_GPIO_H
/* not all ARM platforms necessarily support this API ... */
#include <mach/gpio.h>
#endif /* _ARCH_ARM_GPIO_H */