Handling of pause exits (currently just noop, but power management would go here)

diff --git a/palacios/include/palacios/svm_pause.h b/palacios/include/palacios/svm_pause.h
new file mode 100644 (file)
index 0000000..5db30ef
--- /dev/null
+++ b/palacios/include/palacios/svm_pause.h
@@ -0,0 +1,12 @@
+#ifndef __SVM_PAUSE_H
+#define __SVM_PAUSE_H
+#include <palacios/vm_guest.h>
+#include <palacios/vmcb.h>
+#include <palacios/vmm.h>
+
+
+int handle_svm_pause(struct guest_info * info);
+
+
+
+#endif

diff --git a/palacios/src/palacios/svm_pause.c b/palacios/src/palacios/svm_pause.c
new file mode 100644 (file)
index 0000000..a6fadca
--- /dev/null
+++ b/palacios/src/palacios/svm_pause.c
@@ -0,0 +1,13 @@
+#include <palacios/svm_pause.h>
+#include <palacios/vmm_intr.h>
+
+
+int handle_svm_pause(struct guest_info * info)
+{
+  // handled as a nop
+
+  info->rip+=2;
+
+  return 0;
+
+}