PTED_VA_MANAGED_M
return (pted->pted_va & PTED_VA_MANAGED_M);
pted->pted_va |= PTED_VA_MANAGED_M;
pted->pted_va &= ~PTED_VA_MANAGED_M;
return (pted->pted_va & PTED_VA_MANAGED_M);
pted->pted_va |= PTED_VA_MANAGED_M;
pted->pted_va &= ~PTED_VA_MANAGED_M;
pted->pted_va &= ~PTED_VA_MANAGED_M;
return !!(pted->pted_va & PTED_VA_MANAGED_M);
pted->pted_va |= PTED_VA_MANAGED_M;
return (pted->pted_va & PTED_VA_MANAGED_M);
pted->pted_va |= PTED_VA_MANAGED_M;