devcons: implement hostownerwrite()
[akaros.git] / kern / include / smp.h
index d4a4940..ddb4f7c 100644 (file)
@@ -17,6 +17,7 @@
 #include <syscall.h>
 #include <alarm.h>
 #include <trace.h>
+#include <core_set.h>
 
 #define CPU_STATE_IRQ                  0
 #define CPU_STATE_KERNEL               1
@@ -36,10 +37,10 @@ struct per_cpu_info {
 #ifdef CONFIG_X86
        uintptr_t stacktop;                     /* must be first */
        int coreid;                                     /* must be second */
-       struct vmcs *vmxarea;
-       pseudodesc_t host_gdt;
+       int nmi_status;
+       uintptr_t nmi_worker_stacktop;
        int vmx_enabled;
-       void *local_vcpu;
+       int guest_pcoreid;
 #endif
        spinlock_t lock;
        /* Process management */
@@ -154,6 +155,9 @@ struct pcpu_trace_event {
 
 #endif /* CONFIG_TRACE_LOCKS */
 
+void smp_do_in_cores(const struct core_set *cset, void (*func)(void *),
+                                        void *opaque);
+
 /* Run the handlers for all events in a pcpui ring.  Can run on all cores, or
  * just one core.  'type' selects which event type is handled (0 for all). */
 void pcpui_tr_foreach(int coreid, int type);