diff options
| author | Kevin O'Connor <kevin@koconnor.net> | 2008-07-21 22:23:05 -0400 |
|---|---|---|
| committer | Kevin O'Connor <kevin@koconnor.net> | 2008-07-21 22:23:05 -0400 |
| commit | 409670204b5da474d558444c7c4f9defe0242815 (patch) | |
| tree | c4903a409ff451ea9b77d9cf2a890ddcaa13a390 /src/mouse.c | |
| parent | ae8be531d7a0f04666b51bb6a8b78b6a956efcaf (diff) | |
| download | seabios-409670204b5da474d558444c7c4f9defe0242815.tar.gz | |
Add additional config options to remove parts of code.
Added options CONFIG_BOOT, CONFIG_SERIAL, CONFIG_LPT, CONFIG_KEYBOARD,
CONFIG_BOOTMENU.
Also extended coverage of existing options to ensure full code got
removed.
Diffstat (limited to 'src/mouse.c')
| -rw-r--r-- | src/mouse.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/mouse.c b/src/mouse.c index 22d0148f..0f0a75f3 100644 --- a/src/mouse.c +++ b/src/mouse.c @@ -335,10 +335,13 @@ void VISIBLE16 handle_74() { debug_isr(DEBUG_ISR_74); + if (! CONFIG_PS2_MOUSE) + goto done; irq_enable(); int74_function(); irq_disable(); +done: eoi_pic2(); } |