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