XKPRANGE_CC_SHADOW_OFFSET
offset = XKPRANGE_CC_SHADOW_OFFSET;
else if (addr >= XKPRANGE_CC_SHADOW_OFFSET)
return (void *)(((addr - XKPRANGE_CC_SHADOW_OFFSET) << KASAN_SHADOW_SCALE_SHIFT) + XKPRANGE_CC_START);