vgpu_opregion
base = vgpu_opregion(vgpu)->va;
vgpu_opregion(vgpu)->va = (void *)__get_free_pages(GFP_KERNEL |
if (!vgpu_opregion(vgpu)->va) {
buf = (u8 *)vgpu_opregion(vgpu)->va;
vgpu_opregion(vgpu)->gfn[i] = (gpa >> PAGE_SHIFT) + i;
if (!vgpu_opregion(vgpu)->va)
free_pages((unsigned long)vgpu_opregion(vgpu)->va,
vgpu_opregion(vgpu)->va = NULL;
scic_pa = (vgpu_opregion(vgpu)->gfn[0] << PAGE_SHIFT) +
parm_pa = (vgpu_opregion(vgpu)->gfn[0] << PAGE_SHIFT) +