Symbol: tipmic_power_opreg_handler
sys/dev/acpi/tipmic.c
105
int tipmic_power_opreg_handler(void *, int, uint64_t, int, uint64_t *);
sys/dev/acpi/tipmic.c
160
sc, tipmic_power_opreg_handler);