PTED_PTEGIDX - OpenBSD

2415

ptp64 += PTED_PTEGIDX(pted); /* increment by index into pteg */

2521

ptp32 += PTED_PTEGIDX(pted); /* increment by index into pteg */

805

pte += PTED_PTEGIDX(pted);

820

pte += PTED_PTEGIDX(pted);

310

pte += PTED_PTEGIDX(pted); /* increment by index into pteg */

831

pte += PTED_PTEGIDX(pted); /* increment by index into pteg */