Searched refs:timerdev (Results 1 – 1 of 1) sorted by relevance
54 device_t timerdev; variable69 timerdev = dev; in timerattach()91 (*timerfns->tf_init)(timerdev); in cpu_initclocks()