0 /* PTP; NULL for pmap_kernel() */