Update: GPIO 27 is not valid. gpio_request() returns -EINVAL. But for 71 gpio_request and gpio_direction_input executed without errors. This is the reason why I think that 71 is a valid GPIO number for pin 13.
So, the question is the same: how to get IRQ number if gpio_to_irq does not work?