VMM: Rename vmx_vcpu -> guest_pcore (XCC)
[akaros.git] / kern / arch / x86 / ioapic.h
index c1c98a7..eff662e 100644 (file)
@@ -7,8 +7,8 @@
  * in the LICENSE file.
  */
 
-#ifndef ROS_KERN_IOAPIC_H
-#define ROS_KERN_IOAPIC_H
+#pragma once
+
 #include <atomic.h>
 #include <arch/apic.h>
 
@@ -53,8 +53,11 @@ enum {
        IOAPIC_PBASE    = 0xfec00000, /* default *physical* address */
 };
 
-extern void ioapicinit(int id, int ibase, uintptr_t pa);
-extern void ioapicrdtr(struct apic*, int unused_int, int*, int*);
-extern void ioapicrdtw(struct apic*, int unused_int, int, int);
+extern int mpisabusno;
 
-#endif /* ROS_KERN_IOAPIC_H */
+void ioapicintrinit(int busno, int apicno, int intin, int devno, int lo);
+void ioapiconline(void);
+void ioapicinit(int id, int ibase, uintptr_t pa);
+void ioapicrdtr(struct apic*, int unused_int, int*, int*);
+void ioapicrdtw(struct apic*, int unused_int, int, int);
+char *ioapicdump(char *start, char *end);