_amd64_entry_to_prot
_amd64_entry_to_prot(pde), AMD64_NBPDR, pgsz)) {
_amd64_entry_to_prot(pte), pgsz, 0)) {