PTED_VA_PTEGIDX_M
pted->pted_va &= ~(PTED_VA_HID_M|PTED_VA_PTEGIDX_M);
pted->pted_va |= off & (PTED_VA_PTEGIDX_M|PTED_VA_HID_M);
pted->pted_va &= ~(PTED_VA_HID_M|PTED_VA_PTEGIDX_M);
pted->pted_va |= off & (PTED_VA_PTEGIDX_M|PTED_VA_HID_M);
return (pted->pted_va & PTED_VA_PTEGIDX_M);
return (pted->pted_va & PTED_VA_PTEGIDX_M);
pted->pted_va &= ~(PTED_VA_HID_M|PTED_VA_PTEGIDX_M);
pted->pted_va &= ~(PTED_VA_HID_M|PTED_VA_PTEGIDX_M);
pted->pted_va |= off & (PTED_VA_PTEGIDX_M|PTED_VA_HID_M);