Symbol: mbg_task_hr
sys/dev/pci/mbg.c
137
void mbg_task_hr(void *);
sys/dev/pci/mbg.c
253
sensor_task_register(sc, mbg_task_hr, 1);