 o Introduce pmap_page_is_mapped().  Its purpose is to obsolete    the PG_MAPPED flag.
 o Introduce pmap_page_is_mapped().  Its purpose is to obsolete
   the PG_MAPPED flag.

jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase