ptob64
cmd->dp.copy.cc_source = ptob64(hat_getpfnum(kas.a_hat,
cmd->dp.copy.cc_dest = ptob64(hat_getpfnum(kas.a_hat,
cmd->dp.copy.cc_source = ptob64(hat_getpfnum(kas.a_hat,
cmd->dp.copy.cc_dest = ptob64(hat_getpfnum(kas.a_hat,