madt_handle_local_nmi
madt_handle_local_nmi(nmi->ProcessorId == 0xff ? 0xffffffff :
madt_handle_local_nmi(nmi->Uid, nmi->Lint, nmi->IntiFlags);