|
@@ -61,7 +61,7 @@ void vbox_enable_accel(struct vbox_private *vbox)
|
|
|
if (vbox->vbva_info[i].vbva)
|
|
|
continue;
|
|
|
|
|
|
- vbva = (void *)vbox->vbva_buffers + i * VBVA_MIN_BUFFER_SIZE;
|
|
|
+ vbva = (void __force *)vbox->vbva_buffers + i * VBVA_MIN_BUFFER_SIZE;
|
|
|
if (!vbva_enable(&vbox->vbva_info[i],
|
|
|
vbox->guest_pool, vbva, i)) {
|
|
|
/* very old host or driver error. */
|