cpu_has_ptw
if (cpu_has_ptw)
if (!cpu_has_ptw || (ecode == EXCCODE_TLBM)) {
if (cpu_has_ptw)
if (cpu_has_ptw)
if (cpu_has_ptw)
if (cpu_has_ptw)
if (cpu_has_ptw) {