Symbol: gtmr_acpi_cpu_hatch
sys/arch/arm/acpi/gtmr_acpi.c
55
static void gtmr_acpi_cpu_hatch(void *, struct cpu_info *);
sys/arch/arm/acpi/gtmr_acpi.c
93
arm_fdt_cpu_hatch_register(self, gtmr_acpi_cpu_hatch);