kvm_pmc_has_64bit_overflow
!kvm_pmc_has_64bit_overflow(pmc));
if (kvm_pmc_has_64bit_overflow(pmc) ? reg : lower_32_bits(reg))
if (kvm_pmc_is_64bit(pmc) && kvm_pmc_has_64bit_overflow(pmc))