kvm_granule_shift
return BIT(kvm_granule_shift(level));
r |= BIT(kvm_granule_shift(level));
u64 shift = kvm_granule_shift(level);
u64 shift = kvm_granule_shift(pgt->start_level - 1); /* May underflow */