Copyright for pmap_rmtcall.3:

This page was taken from the 4.4BSD-Lite CDROM (BSD license)

License for pmap_rmtcall.3:

This page was taken from the 4.4BSD-Lite CDROM (BSD license)