Man pages matching name dtc-xen_userconsole in section 1:

dtc-xen_userconsole.1.en

debian 10 / dtc-xen