copypage - NetBSD

147

void copypage(void *fromaddr, void *toaddr);

3273

copypage((void *)pmap_tmpmap_srcva, (void *)pmap_tmpmap_dstva);

1975

copypage(CADDR1, CADDR2);

3599

copypage((char *) tmp_vpages[0], (char *) tmp_vpages[1]);

3538

copypage((char *) tmp_vpages[0], (char *) tmp_vpages[1]);

2469

copypage((char *)srcva, (char *)dstva);