__VIRTUAL_MASK_SHIFT
((-1UL << __VIRTUAL_MASK_SHIFT) >> \
(1ULL << (__VIRTUAL_MASK_SHIFT - \
#define __VIRTUAL_MASK ((1UL << __VIRTUAL_MASK_SHIFT) - 1)
if (end >> __VIRTUAL_MASK_SHIFT)
MAYBE_BUILD_BUG_ON(__VIRTUAL_MASK_SHIFT >= 63);
int shift = 64 - (__VIRTUAL_MASK_SHIFT + 1);