SVGA_REG_IRQ_STATUS
status = vmw_read(vmw, SVGA_REG_IRQ_STATUS);
vmw_write(vmw, SVGA_REG_IRQ_STATUS, status);