tree 8ac01af7888c6d5c3746d30834fd63a148305078
parent 789cd4702bf830416d2e1794495407be42fe95ad
author Tom Mingarelli <thomas.mingarelli@hp.com> 1245367737 +0000
committer Wim Van Sebroeck <wim@iguana.be> 1245741225 +0000

[WATCHDOG] hpwdt: Add NMI priority option

Add a priority option so that the user can choose if we do the NMI
first or last.

Signed-off-by: Thomas Mingarelli <thomas.mingarelli@hp.com>
Signed-off-by: Wim Van Sebroeck <wim@iguana.be>