XKVRANGE_VC_SHADOW_OFFSET
offset = XKVRANGE_VC_SHADOW_OFFSET;
if (addr >= XKVRANGE_VC_SHADOW_OFFSET)
return (void *)(((addr - XKVRANGE_VC_SHADOW_OFFSET) << KASAN_SHADOW_SCALE_SHIFT) + XKVRANGE_VC_START);