EXSUBCODE_ADEF
case EXSUBCODE_ADEF: return "ADEF";
kvm_queue_exception(vcpu, EXCCODE_ADE, EXSUBCODE_ADEF);
if (subcode == EXSUBCODE_ADEF)