i same problem here, in chapter 44.3.1 (ref. manual 8, 06/2018) i would like to know the PDB trigger sources. it says
"Refer to chip configuration details for the actual PDB input trigger"
but i cant find it. in the attached excel files are only the trigmux trigger which dont fit into 4 bit.