PMAP_BOOTSTRAP_TEXT_PROTO_PTE
#ifndef PMAP_BOOTSTRAP_TEXT_PROTO_PTE
*pte++ = PMAP_BOOTSTRAP_TEXT_PROTO_PTE | pa;