arm_fdt_cpu_hatch_register
arm_fdt_cpu_hatch_register(self, gtmr_acpi_cpu_hatch);
arm_fdt_cpu_hatch_register(self, a9ptmr_fdt_cpu_hatch);
arm_fdt_cpu_hatch_register(self, a9tmr_fdt_cpu_hatch);
void arm_fdt_cpu_hatch_register(void *, void (*)(void *, struct cpu_info *));
arm_fdt_cpu_hatch_register(self, gtmr_fdt_cpu_hatch);
arm_fdt_cpu_hatch_register(self, mct_fdt_cpu_hatch);