gic_dist_supports_lpis
if (gic_dist_supports_lpis())
if (!gic_dist_supports_lpis())
if (gic_dist_supports_lpis()) {