mirror of
https://github.com/hardkernel/linux.git
synced 2026-05-18 09:58:55 +09:00
- reordering include files - whitespace changes - comment changes - removed unused bad_intr() - make default_do_nmi static Signed-off-by: Alexander van Heukelum <heukelum@fastmail.fm> Signed-off-by: Ingo Molnar <mingo@elte.hu>