Ignore:
Timestamp:
Jul 27, 2017, 10:21:51 AM (7 years ago)
Author:
max@…
Message:

sync

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/hal/x86_64/drivers/pic_apic.h

    r208 r280  
    2525#include <hal_types.h>
    2626
    27 void pic_apic_init( chdev_t * pic );
    28 void pic_apic_extend_init( uint32_t * xcu_base );
    29 void pic_apic_bind_irq( lid_t     lid,
    30                         chdev_t * src_chdev );
    31 void pic_apic_enable_irq( lid_t   lid,
    32                           xptr_t  src_chdev_xp );
    33 void pic_apic_disable_irq( lid_t   lid,
    34                            xptr_t  src_chdev_xp );
    35 void pic_apic_enable_timer( uint32_t period );
    36 
    37 void pic_apic_send_ipi( cxy_t    cxy,
    38                         lid_t    lid );
     27void pic_apic_init(chdev_t *pic);
     28void pic_apic_extend_init(uint32_t *xcu_base);
     29void pic_apic_bind_irq(lid_t lid, chdev_t *src_chdev);
     30void pic_apic_enable_irq(lid_t lid, xptr_t src_chdev_xp);
     31void pic_apic_disable_irq(lid_t lid, xptr_t src_chdev_xp);
     32void pic_apic_enable_timer(uint32_t period);
     33void pic_apic_enable_ipi();
     34void pic_apic_send_ipi(cxy_t cxy, lid_t lid);
    3935
    4036#endif  /* _PIC_APIC_H_ */
Note: See TracChangeset for help on using the changeset viewer.