__power_set
#if defined(__power_set)
if (__power_set(0xffffffffU << 13)) /* POWER5 and later */
if (__power_set(0x1U << 14)) /* POWER6 */
if (__power_set(0xffffffffU << 14)) /* POWER6 and later */
if (__power_set(0xffffffffU << 16)) /* POWER8 and later */
if (__power_set(0xffffffffU << 17)) /* POWER9 and later */
if (__power_set(0xffffffffU << 18)) /* POWER10 and later */
#if !defined(__power_set)