I have written Linux driver that works fine on Raspberry Pi. Now I am trying to make it work on BPI-M3. To make the story short I will skip details about my fight to compile and load the driver. I've solved these quests. The current problem happens during initialization of the driver. Basically function gpio_to_irq(gpio) does not work. So, the question is how to get IRQ number for GPIO to setup interruption handler? Of course I have already tried to look at sources but still have no clue why it does not work.
A little bit more details. I am trying to get IRQ for GPIO 71. Is it a valid GPIO number? I think this is the GPIO on pin 13.
And one more question (yes, I am so naive): where can I get the real sources or headers for the kernel? I know about https://github.com/BPI-SINOVOIP/BPI-M3-bsp.git but I see differences in checksums in some modules.