DOKK / manpages

Man pages matching name halt in section 3pvm: