Man pages matching name dtc_reinstall_os in section 8:

dtc_reinstall_os.8.en

debian 10 / dtc-xen