#include <palacios/vmm_time.h>
#include <palacios/vmm_host_events.h>
#include <palacios/vmm_msr.h>
-#include <palacios/vmm_profiler.h>
#include <palacios/vmm_hypercall.h>
+#ifdef CONFIG_TELEMETRY
+#include <palacios/vmm_telemetry.h>
+#endif
+
+#ifdef CONFIG_SYMBIOTIC_SWAP
+#include <palacios/vmm_sym_swap.h>
+#endif
+
struct v3_gprs {
v3_reg_t rdi;
struct shadow_page_state;
struct v3_intr_state;
-struct v3_profiler;
+#ifdef CONFIG_TELEMETRY
+struct v3_telemetry;
+#endif
+#ifdef CONFIG_SYMBIOTIC_SWAP
+struct v3_sym_swap_state;
+#endif
struct guest_info {
uint64_t yield_start_cycle;
+#ifdef CONFIG_TELEMETRY
+ uint_t enable_telemetry;
+ struct v3_telemetry_state telemetry;
+#endif
+
- uint_t enable_profiler;
- struct v3_profiler profiler;
+#ifdef CONFIG_SYMBIOTIC_SWAP
+ struct v3_sym_swap_state swap_state;
+#endif
void * decoder_state;
};
#endif // ! __V3VEE__
-
-
#endif