set_GPIO_IRQ_edge (1 << dev->irq, GPIO_RISING_EDGE);

아마도 1 << dev->irq 가 아니고
그냥 dev->irq로 대입하셔야 할 것 같은데요?