kvm_dump_wrtheader
int kvm_dump_wrtheader(kvm_t *, FILE *, int);
if (kvm_dump_wrtheader(kd_dump, fp, (int32_t)dumpbytes) == -1) {