Re: [PATCH] Remove duplicate declaration of unknown_nmi_panic

From: Ingo Molnar
Date: Fri May 16 2008 - 07:33:47 EST

* Fernando Luis Vázquez Cao <fernando@xxxxxxxxxxxxx> wrote:

> extern int nmi_watchdog_enabled;
> -extern int unknown_nmi_panic;
> extern int avail_to_resrv_perfctr_nmi_bit(unsigned int);

applied, thanks.

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at