Expose VM reset capability to Linux and Linux user

[palacios.git] / linux_module / main.c

diff --git a/linux_module/main.c b/linux_module/main.c
index 34c24f7..2199d88 100644 (file)
--- a/linux_module/main.c
+++ b/linux_module/main.c
@@ -326,7 +326,8 @@ static int read_guests_details(struct seq_file *s, void *v)
                           base->state==V3_VM_STOPPED ? "stopped" :
                           base->state==V3_VM_PAUSED ? "paused" :
                           base->state==V3_VM_ERROR ? "ERROR" :
-                          base->state==V3_VM_SIMULATING ? "simulating" : "UNKNOWN",
+                          base->state==V3_VM_SIMULATING ? "simulating" : 
+                          base->state==V3_VM_RESETTING ? "resetting"  : "UNKNOWN",
                           core->num_vcores,
                           mem->num_regions);
                seq_printf(s, "Core States\n");
@@ -337,7 +338,8 @@ static int read_guests_details(struct seq_file *s, void *v)
                               j, 
                               core->vcore[j].state==V3_VCORE_INVALID ? "INVALID" :
                               core->vcore[j].state==V3_VCORE_RUNNING ? "running" :
-                              core->vcore[j].state==V3_VCORE_STOPPED ? "stopped" : "UNKNOWN",
+                              core->vcore[j].state==V3_VCORE_STOPPED ? "stopped" :
+                              core->vcore[j].state==V3_VCORE_RESETTING ? "resetting" : "UNKNOWN",
                               core->vcore[j].pcore,
                               core->vcore[j].num_exits,
                               core->vcore[j].last_rip,
@@ -355,9 +357,11 @@ static int read_guests_details(struct seq_file *s, void *v)
 
                seq_printf(s, "\nMemory Regions\n");
                for (j=0;j<mem->num_regions;j++) { 
-                   seq_printf(s,"   region %u has HPAs 0x%p-0x%p (node %d)\n",
+                   seq_printf(s,"   region %u has HPAs 0x%p-0x%p (node %d) %s %s\n",
                               j, mem->region[j].host_paddr, mem->region[j].host_paddr+mem->region[j].size,
-                              numa_addr_to_node((uintptr_t)(mem->region[j].host_paddr)));
+                              numa_addr_to_node((uintptr_t)(mem->region[j].host_paddr)),
+                              mem->region[j].swapped ? "swapped" : "",
+                              mem->region[j].pinned ? "pinned" : "");
                }
            }
            seq_printf(s,
@@ -682,8 +686,13 @@ static void __exit v3_exit(void) {
 
     /* Stop and free any running VMs */ 
     for (i = 0; i < MAX_VMS; i++) {
-       if (guest_map[i] != NULL) {
-                guest = (struct v3_guest *)guest_map[i];
+               if (guest_map[i] != NULL) {
+                   guest = (struct v3_guest *)(guest_map[i]);
+
+               if (!guest->v3_ctx) { 
+                   ERROR("Orphan VM detected and skipped: index=%d name=%s\n", i, guest->name);
+                   continue;
+               }
 
                 if (v3_stop_vm(guest->v3_ctx) < 0) 
                         ERROR("Couldn't stop VM %d\n", i);