SVGA_COTABLE_MAX_IDS
if (id < 0 || id >= SVGA_COTABLE_MAX_IDS) {
return (user_key < SVGA_COTABLE_MAX_IDS &&
BUILD_BUG_ON(SVGA_COTABLE_MAX_IDS >= ((1 << 20) - 1));