Changeset 206 for trunk/kernel


Ignore:
Timestamp:
Jul 17, 2017, 12:51:07 PM (7 years ago)
Author:
max@…
Message:

re-hide

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/kernel/devices/dev_pic.c

    r205 r206  
    2626#include <chdev.h>
    2727#include <printk.h>
    28 #include <soclib_pic.h>
     28#include <hal_drivers.h>
    2929#include <dev_pic.h>
    3030#include <cluster.h>
     
    4949    if( impl == IMPL_PIC_SCL )
    5050    {
    51         // call the PIC SOCLIB driver
    52         soclib_pic_init( pic );
    53 
    54         // update the PIC chdev extension
    55         pic->ext.pic.enable_timer = &soclib_pic_enable_timer;
    56         pic->ext.pic.enable_irq   = &soclib_pic_enable_irq;
    57         pic->ext.pic.disable_irq  = &soclib_pic_disable_irq;
    58         pic->ext.pic.bind_irq     = &soclib_pic_bind_irq;
    59         pic->ext.pic.send_ipi     = &soclib_pic_send_ipi;
    60         pic->ext.pic.extend_init  = &soclib_pic_extend_init;
     51        // call the implementation-specific PIC driver
     52        hal_drivers_pic_init(pic);
    6153    }
    6254    else if( impl == IMPL_PIC_I86 )
Note: See TracChangeset for help on using the changeset viewer.