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