X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fvga.c;h=037223ebcc3643a6b620ce50f972cb1ac582e545;hb=d3d6d09894dba66f4e2361bb2f903139a2d83684;hp=8d21fa7309744a616afbce4fc9d5943154d54f6f;hpb=4454a172129d12e97793c9c353339b85d3335af4;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);