|
@@ -55,7 +55,7 @@ static void mpc86xx_8259_cascade(unsigned int irq, struct irq_desc *desc)
|
|
|
}
|
|
|
#endif /* CONFIG_PCI */
|
|
|
|
|
|
-void __init
|
|
|
+static void __init
|
|
|
mpc86xx_hpcn_init_irq(void)
|
|
|
{
|
|
|
struct mpic *mpic1;
|
|
@@ -162,7 +162,7 @@ mpc86xx_hpcn_setup_arch(void)
|
|
|
}
|
|
|
|
|
|
|
|
|
-void
|
|
|
+static void
|
|
|
mpc86xx_hpcn_show_cpuinfo(struct seq_file *m)
|
|
|
{
|
|
|
struct device_node *root;
|
|
@@ -190,13 +190,13 @@ static int __init mpc86xx_hpcn_probe(void)
|
|
|
{
|
|
|
unsigned long root = of_get_flat_dt_root();
|
|
|
|
|
|
- if (of_flat_dt_is_compatible(root, "mpc86xx"))
|
|
|
+ if (of_flat_dt_is_compatible(root, "fsl,mpc8641hpcn"))
|
|
|
return 1; /* Looks good */
|
|
|
|
|
|
return 0;
|
|
|
}
|
|
|
|
|
|
-long __init
|
|
|
+static long __init
|
|
|
mpc86xx_time_init(void)
|
|
|
{
|
|
|
unsigned int temp;
|