Changeset 208 for trunk/hal/x86_64/drivers/pic_apic.c

Timestamp:

Jul 17, 2017, 12:56:23 PM (7 years ago)

Author:

max@…

Message:

sync

File:

• trunk/hal/x86_64/drivers/pic_apic.c (modified) (4 diffs)

trunk/hal/x86_64/drivers/pic_apic.c

@@ -58 +58 @@
 }
 
-void pic_apic_extend_init( uint32_t * xcu_base )
+void pic_apic_extend_init(uint32_t *xcu_base)
 {
         x86_panic((char *)__func__);
@@ -98 +98 @@
 }
 
-void pic_apic_enable_irq( lid_t     lid,
-                            chdev_t * src_chdev )
+void pic_apic_enable_irq(lid_t lid, xptr_t src_chdev_xp)
 {
+        chdev_t *src_chdev = (chdev_t *)src_chdev_xp;
         uint32_t func = src_chdev->func;
         uint32_t channel = src_chdev->channel;
@@ -117 +117 @@
 }
 
-void pic_apic_disable_irq( lid_t     lid,
-                             chdev_t * src_chdev )
+void pic_apic_disable_irq(lid_t lid, xptr_t src_chdev_xp)
 {
-        x86_panic((char *)__func__);
-
+        chdev_t *src_chdev = (chdev_t *)src_chdev_xp;
         uint32_t func = src_chdev->func;
         uint32_t channel = src_chdev->channel;
@@ -138 +136 @@
 }
 
-void pic_apic_enable_timer( uint32_t period )
+void pic_apic_enable_timer(uint32_t period)
 {
         x86_panic((char *)__func__);
 }
 
-void pic_apic_send_ipi( cxy_t    cxy,
-                          lid_t    lid )
+void pic_apic_send_ipi(cxy_t cxy, lid_t lid)
 {
         x86_panic((char *)__func__);