Symbol: THRESH_HIGH
drivers/firmware/arm_scmi/powercap.c
595
*power_thresh_high = THRESH_HIGH(pi, domain_id);
drivers/firmware/arm_scmi/powercap.c
614
THRESH_HIGH(pi, domain_id) == power_thresh_high)