static inline int gpio_get_value(unsigned gpio)
{
        static int value = 0;

        if(!value) {
                void __iomem *gpio_in = (void __iomem *)
                                KSEG1ADDR(AR7_REGS_GPIO + AR7_GPIO_INPUT);
                value = readl(gpio_in) & (1 << gpio);
        }
        return value;
}