Man pages matching name xentrace_format in section 1:

xentrace_format.1.en	debian 10 / xen-utils-common
xentrace_format.1.en	debian 11 / xen-utils-common
xentrace_format.1.en	debian 12 / xen-utils-common