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

sync

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/hal/x86_64/drivers/pic_apic.h

    r197 r208  
    2828void pic_apic_extend_init( uint32_t * xcu_base );
    2929void pic_apic_bind_irq( lid_t     lid,
    30                           chdev_t * src_chdev );
    31 void pic_apic_enable_irq( lid_t     lid,
    32                             chdev_t * src_chdev );
    33 void pic_apic_disable_irq( lid_t     lid,
    34                              chdev_t * src_chdev );
     30                        chdev_t * src_chdev );
     31void pic_apic_enable_irq( lid_t   lid,
     32                          xptr_t  src_chdev_xp );
     33void pic_apic_disable_irq( lid_t   lid,
     34                           xptr_t  src_chdev_xp );
    3535void pic_apic_enable_timer( uint32_t period );
    3636
    3737void pic_apic_send_ipi( cxy_t    cxy,
    38                           lid_t    lid );
     38                        lid_t    lid );
    3939
    4040#endif  /* _PIC_APIC_H_ */
Note: See TracChangeset for help on using the changeset viewer.