_kvm32toh
pd = _kvm32toh(kd, vm->l1pt[ARM_L1_IDX(va)]);
pte = _kvm32toh(kd, pte);
vmst->hdr.version = _kvm32toh(kd, vmst->hdr.version);
vmst->hdr.msgbufsize = _kvm32toh(kd, vmst->hdr.msgbufsize);
vmst->hdr.bitmapsize = _kvm32toh(kd, vmst->hdr.bitmapsize);
vmst->hdr.ptesize = _kvm32toh(kd, vmst->hdr.ptesize);
vmst->hdr.kernbase = _kvm32toh(kd, vmst->hdr.kernbase);
vmst->hdr.arch = _kvm32toh(kd, vmst->hdr.arch);
vmst->hdr.mmuformat = _kvm32toh(kd, vmst->hdr.mmuformat);
_kvm32toh(kd, vmst->hdr.dumpavailsize) : 0;
return _kvm32toh(kd, *pte);