EXCCODE_TLBM
case EXCCODE_TLBM: return "PME";
[EXCCODE_TLBM] = handle_tlb_modify,
[EXCCODE_TLBM] = kvm_handle_write_fault,
if (!cpu_has_ptw || (ecode == EXCCODE_TLBM)) {
exception_table[EXCCODE_TLBM] = handle_tlb_modify_ptw;