Support needed on GPS PPS-GPIO pin ?

[meisam]

Hello
Any one can help me set the gpio number for PPS signal ?
I checked ./linux/include/pps-gpio.h but can not assign the gpio number for pps.

Thank you.

[davef]

I don't have your kernel source but I think if you look in something like this:
linux-4.x.y/arch/arm/mach-s3c24xx/mach-mini2451.c
(this is for the original NanoPi) you might find something related to PPS.