a9ptmr_fdt_cpu_hatch
arm_fdt_cpu_hatch_register(self, a9ptmr_fdt_cpu_hatch);
static void a9ptmr_fdt_cpu_hatch(void *, struct cpu_info *);