Remove kernel-specific parts of ros/common.h (XCC)
[akaros.git] / kern / include / smp.h
index 15d84ef..ddb4f7c 100644 (file)
@@ -37,9 +37,9 @@ struct per_cpu_info {
 #ifdef CONFIG_X86
        uintptr_t stacktop;                     /* must be first */
        int coreid;                                     /* must be second */
-       struct vmcs *vmxarea;
+       int nmi_status;
+       uintptr_t nmi_worker_stacktop;
        int vmx_enabled;
-       void *local_vcpu;
        int guest_pcoreid;
 #endif
        spinlock_t lock;