EXCCODE_BTDIS
for (i = EXCCODE_ADE; i <= EXCCODE_BTDIS; i++)
case EXCCODE_BTDIS: return "BTD";
[EXCCODE_BTDIS] = handle_lbt,
case EXCCODE_BTDIS:
[EXCCODE_BTDIS] = kvm_handle_lbt_disabled,