/* do we support PG_NX? */ /* * pmap_pg_nx: if our processor supports PG_NX in the PTE then we * set pmap_pg_nx to PG_NX (otherwise it is zero). */