FreeBSD/sys/arm/arm/pmap-v4.c
/*
 *	Copy the range specified by src_addr/len
 *	from the source map to the range dst_addr/len
 *	in the destination map.
 *
 *	This routine is only advisory and need not do anything.
 */
Copy the range specified by src_addr/len
from the source map to the range dst_addr/len
in the destination map.

This routine is only advisory and need not do anything.
Copy the range specified by src_addr / len from the source map to the range dst_addr / len in the destination map . This routine is only advisory and need not do anything .
void
pmap_copy(pmap_t dst_pmap, pmap_t src_pmap, vm_offset_t dst_addr,
    vm_size_t len, vm_offset_t src_addr)
{
}
void pmap_copy ( pmap_t dst_pmap , pmap_t src_pmap , vm_offset_t dst_addr , vm_size_t len , vm_offset_t src_addr ) { }
Copy the range specified by src_addr/len
      from the source map to the range dst_addr/len
      in the destination map.
Copy the range specified by src_addr / len from the source map to the range dst_addr / len in the destination map .