Doxygen eliminate warnings pt. 2

This PR eliminates all remaining doxygen warnings that are no "not documented" ones.
Actually that was not meant as a doxygen comment at all. `#PF` is the mnemonic for page fault. Probably `` `#PF` ``, i.e. surrounding the mnemonic with backticks, would work.