40 /* * pv_entry: plug pv_pte into lists. */