__PMAP_PTP_OFSET
l2idx = __PMAP_PTP_OFSET(va);
return (ptp ? ptp + __PMAP_PTP_OFSET(va) : NULL);
return (ptp + __PMAP_PTP_OFSET(va));