Did you mean (for freebsd):acpi_timer_reg acpi_timer_eh
Your search defs:acpi_timer_dev did not match any files. Suggestions: