}
 
 struct device_node;
-extern int riscv_of_processor_hart(struct device_node *node);
+int riscv_of_processor_hartid(struct device_node *node);
 
 extern void riscv_fill_hwcap(void);
 
 
 #include <linux/seq_file.h>
 #include <linux/of.h>
 
-/* Return -1 if not a valid hart */
-int riscv_of_processor_hart(struct device_node *node)
+/*
+ * Returns the hart ID of the given device tree node, or -1 if the device tree
+ * node isn't a RISC-V hart.
+ */
+int riscv_of_processor_hartid(struct device_node *node)
 {
        const char *isa, *status;
        u32 hart;
 
        int hart, im_okay_therefore_i_am = 0;
 
        while ((dn = of_find_node_by_type(dn, "cpu"))) {
-               hart = riscv_of_processor_hart(dn);
+               hart = riscv_of_processor_hartid(dn);
                if (hart >= 0) {
                        set_cpu_possible(hart, true);
                        set_cpu_present(hart, true);
 
 
 static int __init riscv_timer_init_dt(struct device_node *n)
 {
-       int cpu_id = riscv_of_processor_hart(n), error;
+       int cpu_id = riscv_of_processor_hartid(n), error;
        struct clocksource *cs;
 
        if (cpu_id != smp_processor_id())
 
 {
        for (; node; node = node->parent) {
                if (of_device_is_compatible(node, "riscv"))
-                       return riscv_of_processor_hart(node);
+                       return riscv_of_processor_hartid(node);
        }
 
        return -1;