#include <palacios/vmm_cpu_mapper.h>
#include <palacios/vmm_direct_paging.h>
#include <interfaces/vmm_numa.h>
+#include <interfaces/vmm_file.h>
#ifdef V3_CONFIG_SVM
#include <palacios/svm.h>
// Register all shadow paging handlers
V3_init_shdw_paging();
+#ifdef V3_CONFIG_SWAPPING
+ v3_init_swapping();
+#endif
+
// Initialize the cpu_mapper framework (must be before extensions)
V3_init_cpu_mapper();
V3_deinit_scheduling();
V3_deinit_cpu_mapper();
+
+#ifdef V3_CONFIG_SWAPPING
+ v3_deinit_swapping();
+#endif
V3_deinit_shdw_paging();
for (i=0;i<vm->mem_map.num_base_regions;i++) {
mem->region[i].host_paddr = (void*)(vm->mem_map.base_regions[i].host_addr);
mem->region[i].size = v3_mem_block_size;
+#ifdef V3_CONFIG_SWAPPING
+ mem->region[i].swapped = vm->mem_map.base_regions[i].flags.swapped;
+ mem->region[i].pinned = vm->mem_map.base_regions[i].flags.pinned;
+#else
+ mem->region[i].swapped = 0;
+ mem->region[i].pinned = 0;
+#endif
+
}
mem->num_regions=numregions;