Re: Problems with EDAC coexisting with BIOS

David Peterson
2006-05-04T16:44:51Z

> My first thought was to schedule a tasklet as part of the ECC-
specific
> NMI handling, or are there any gotchas with doing this from within
> an NMI handler?

Unfortunately yes. __tasklet_schedule() uses interrupt disabling
as a synchronization mechanism. This presents a problem since by
definition, NMIs can occur even when interrupts are disabled.
However the NMI handling code in bluesmoke has a mechanism similar to
tasklets that is intended specifically for use by NMI handlers.