Man pages matching name dtc-xen_finish_install in section 8:

dtc-xen_finish_install.8.en

debian 10 / dtc-xen