Man pages matching name dtc_write_xenhvm_conf in section 8:

dtc_write_xenhvm_conf.8.en

debian 10 / dtc-xen