thermosphere: propagate some changes

2020-02-23 01:30:35 +00:00
parent 5b56d05e11
commit 036883c30f
16 changed files with 114 additions and 99 deletions
--- a/thermosphere/src/cpu/hvisor_cpu_caches.cpp
+++ b/thermosphere/src/cpu/hvisor_cpu_caches.cpp
@@ -15,7 +15,6 @@
 */

 #include "hvisor_cpu_caches.hpp"
-#include "../core_ctx.h"

 #define DEFINE_CACHE_RANGE_FUNC(isn, name, cache, post)\
 void name(const void *addr, size_t size)\