SVGA_ID_3
SVGA_ID_3 : SVGA_ID_2);
if (svga_id != SVGA_ID_2 && svga_id != SVGA_ID_3) {
BUG_ON(vmw_is_svga_v3(dev) && (svga_id != SVGA_ID_3));