vmw_ctx_binding_max
static u32 is_binding_dirtying[vmw_ctx_binding_max] = {
BUILD_BUG_ON(vmw_ctx_binding_max != 14);