X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fvga.c;h=037223ebcc3643a6b620ce50f972cb1ac582e545;hb=a5d2c00cc461b4a60a1360a2a0bba55cef467bab;hp=8d21fa7309744a616afbce4fc9d5943154d54f6f;hpb=c5909621b389bb4a5a5f405168b25fdda4b0db35;p=palacios.git

diff --git a/palacios/src/devices/vga.c b/palacios/src/devices/vga.c
index 8d21fa7..037223e 100644
--- a/palacios/src/devices/vga.c
+++ b/palacios/src/devices/vga.c
@@ -2870,7 +2870,7 @@ static int vga_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
     for (i=0;i<MAP_NUM;i++) { 
 	void *temp;
 
-	temp = (void*)V3_AllocShadowSafePages(vm,MAP_SIZE/4096);
+	temp = (void*)V3_AllocPages(MAP_SIZE/4096);
 	if (!temp) { 
 	    PrintError(vm, VCORE_NONE, "vga: cannot allocate maps\n");
 	    free_vga(vga);