PR_TBIA
mtpr(0, PR_TBIA); /* ??? */
mtpr(0, PR_TBIA);
mtpr(0, PR_TBIA);
mtpr(0, PR_TBIA);
mtpr(0, PR_TBIA);
mtpr(0, PR_TBIA); /* Always; safety belt */
mtpr(0, PR_TBIA);
mtpr(0, PR_TBIA);
mtpr(0, PR_TBIA);
mtpr(0, PR_TBIA);
mtpr(0, PR_TBIA);
mtpr(0, PR_TBIA);
mtpr(0, PR_TBIA); /* invalidate translation buffer */
mtpr(0, PR_TBIA); /* invalidate translation buffer */
mtpr(0, PR_TBIA); /* invalidate translation buf */
mtpr(0, PR_TBIA); /* smash CPU's translation buf */
mtpr(0, PR_TBIA); /* clr CPU translation buf */
mtpr(0, PR_TBIA);
mtpr(0, PR_TBIA); /* clr CPU translation buf */