The Linux driver shows everything. 
Keep in mind that the pisound-overlay.dts and pisound.c has Pisound specific bits, while the rest of the heavy lifting happens in ALSA sources, bcm2835-i2s.c and related files.
Also see this similar topic: Bare metal Pisound? - #2 by Giedrius