Index: vmm.c
===================================================================
RCS file: /cvs/src/sys/arch/amd64/amd64/vmm.c,v
retrieving revision 1.53
diff -u -p -r1.53 vmm.c
--- vmm.c	13 Apr 2016 04:44:41 -0000	1.53
+++ vmm.c	15 Apr 2016 06:56:52 -0000
@@ -283,8 +283,10 @@ vmm_attach(struct device *parent, struct
 
 	pool_init(&vm_pool, sizeof(struct vm), 0, 0, PR_WAITOK, "vmpool",
 	    NULL);
+	pool_setipl(&vm_pool, IPL_NONE);
 	pool_init(&vcpu_pool, sizeof(struct vcpu), 0, 0, PR_WAITOK, "vcpupl",
 	    NULL);
+	pool_setipl(&vcpu_pool, IPL_NONE);
 
 	vmm_softc = sc;
 }