PTED_VA_EXEC_M
if ((exec_fault != 0) && ((pted->pted_va & PTED_VA_EXEC_M) == 0))
if (pted->pted_va & PTED_VA_EXEC_M) {
pted->pted_va &= ~PTED_VA_EXEC_M;
pted->pted_va |= PTED_VA_EXEC_M;
pted->pted_va |= PTED_VA_EXEC_M;
pted->pted_va |= PTED_VA_EXEC_M;
pted->pted_va &= ~PTED_VA_EXEC_M;