DOKK / manpages / debian 10 / ppc64-diag / usysfault.8.en
() ()

See the file buster/ppc64-diag/usysattn.8.en.gz.