1.1 --- a/xen/drivers/char/xen_serial.c	Sun Sep 21 17:48:32 2003 +0000
     1.2 +++ b/xen/drivers/char/xen_serial.c	Sun Sep 21 17:53:37 2003 +0000
     1.3 @@ -70,7 +70,7 @@ static void serial_rx_int(int irq, void 
     1.4  
     1.5  void initialize_serial() 
     1.6  {
     1.7 -    int fifo, rc; 
     1.8 +    int rc; 
     1.9      
    1.10      /* setup key handler */
    1.11      add_key_handler('~', toggle_echo, "toggle serial echo");
    1.12 @@ -87,6 +87,6 @@ void initialize_serial()
    1.13      outb(NS16550_IER_ERDAI, 
    1.14           SERIAL_BASE + NS16550_IER );
    1.15  
    1.16 -    if((rc = request_irq(4, serial_rx_int, SA_NOPROFILE, "serial", 0)))
    1.17 +    if( (rc = request_irq(4, serial_rx_int, SA_NOPROFILE, "serial", 0)) )
    1.18  	printk("initialize_serial: failed to get IRQ4, rc=%d\n", rc); 
    1.19  }