Using 419 didn´t work at all for some reason, with pps not showing up in /sys/kernel/debug/gpio at all.
But I managed to get to the following now:
[ 334.111412] pps pps1: PPS_GETPARAMS
[ 334.111447] pps pps1: PPS_GETCAP
[ 334.111458] pps pps1: PPS_GETPARAMS
[ 334.111469] pps pps1: PPS_SETPARAMS
[ 334.111477] pps pps1: time format unspecified (11)
[ 334.111607] pps pps1: PPS_FETCH
[ 334.111617] pps pps1: timeout 3.000000000
[ 337.115582] pps_core: Error in cdev_pps_fetch: ETIMEDOUT
[ 337.115593] pps_core: pps Error in PPS_FETCH: -110
[ 337.116061] pps pps1: PPS_FETCH
[ 337.116071] pps pps1: timeout 3.000000000
[ 340.187534] pps_core: Error in cdev_pps_fetch: ETIMEDOUT
[ 340.187544] pps_core: pps Error in PPS_FETCH: -110
[ 340.187988] pps pps1: PPS_FETCH
[ 340.187998] pps pps1: timeout 3.000000000
[ 340.195238] pps_core: Error in cdev_pps_fetch: -ERESTARTSYS
[ 340.195248] pps pps1: pending signal caught
[ 340.195408] pps_core: pps Error in PPS_FETCH: -4
with the following debug prints in pps.c:
case PPS_FETCH: {
…
err = copy_from_user(&fdata, uarg, sizeof(struct pps_fdata));
if (err) {
pr_err(“-EFAULT in PPS_FETCH pps\n”);
return -EFAULT;
}
err = pps_cdev_pps_fetch(pps, &fdata);
if (err) {
pr_err(“pps Error in PPS_FETCH: %d\n”, err);
return err;
}