__ham_copypage_args
__ham_copypage_args *argp;
__ham_copypage_args **argpp;
__ham_copypage_args *argp;
ret = __os_malloc(sizeof(__ham_copypage_args) +
__ham_copypage_args *argp;
int __ham_copypage_read __P((void *, __ham_copypage_args **));