VMM: Clean up per-cpu VMCS state
[akaros.git] / kern / arch / riscv / smp.h
1 #pragma once
2
3 #include <ros/common.h>
4 #include <arch/arch.h>
5 #include <atomic.h>
6
7 typedef volatile uint8_t wait_list_t[MAX_NUM_CORES];
8
9 typedef struct
10 {
11         wait_list_t wait_list;
12         spinlock_t lock;
13 } handler_wrapper_t;