Re: Problems with EDAC coexisting with BIOS

[David Peterson]

> 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.


-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/