Some details are given the the BCM2835-ARM-Peripherals file (here
). I think it was on page 102 or near there that most of the GPIO alternative pin mappings are listed. ALT1 on most pins is for SMI. The https://pinout.xyz
site also shows them, but you have to check each pin to find its SMI function.