/* * pmap_unwire: clear the wired bit in the PTE. * * => Mapping should already be present. */