#include "linux-exts.h"
#include "vm.h"
-#include <linux/vmalloc.h>
/*
DEBUG("palacios: allocating %u bytes for %u by %u by %u buffer\n",
mem, desired_spec->width, desired_spec->height, desired_spec->bytes_per_pixel);
- gc->data = vmalloc(mem);
+ gc->data = palacios_valloc(mem);
if (!(gc->data)) {
ERROR("palacios: unable to allocate memory for frame buffer\n");
return;
}
if (gc->data) {
- vfree(gc->data);
+ palacios_vfree(gc->data);
gc->data=0;
}
}
list_del(&(gc->gcons_node));
if (gc->data)
- vfree(gc->data);
+ palacios_vfree(gc->data);
palacios_free(gc);
}
list_del(&(graphics_cons->gcons_node));
+ remove_guest_ctrl(guest, V3_VM_FB_INPUT);
+ remove_guest_ctrl(guest, V3_VM_FB_QUERY);
+
if (graphics_cons->data) {
- vfree(graphics_cons->data);
+ palacios_vfree(graphics_cons->data);
}
+
palacios_free(graphics_cons);
return 0;