|
@@ -158,8 +158,13 @@ static void __init gic_clocksource_of_init(struct device_node *node)
|
|
|
|
|
|
clk = of_clk_get(node, 0);
|
|
clk = of_clk_get(node, 0);
|
|
if (!IS_ERR(clk)) {
|
|
if (!IS_ERR(clk)) {
|
|
|
|
+ if (clk_prepare_enable(clk) < 0) {
|
|
|
|
+ pr_err("GIC failed to enable clock\n");
|
|
|
|
+ clk_put(clk);
|
|
|
|
+ return;
|
|
|
|
+ }
|
|
|
|
+
|
|
gic_frequency = clk_get_rate(clk);
|
|
gic_frequency = clk_get_rate(clk);
|
|
- clk_put(clk);
|
|
|
|
} else if (of_property_read_u32(node, "clock-frequency",
|
|
} else if (of_property_read_u32(node, "clock-frequency",
|
|
&gic_frequency)) {
|
|
&gic_frequency)) {
|
|
pr_err("GIC frequency not specified.\n");
|
|
pr_err("GIC frequency not specified.\n");
|