Man pages matching name dtc_setup_vps_disk in section 8:

dtc_setup_vps_disk.8.en

debian 10 / dtc-xen