+ selected->callback = tick_callback;
+ selected->running_freq = hertz;
+
+ selected->ops->calibrate(selected, hertz);
+
+ time_dev = potens_dev(selected);
+ timer_alias = device_addalias(NULL, dev_meta(time_dev), "timer");
+}
+
+
+struct hwtimer_pot*
+hwtimer_attach_potens(struct device* dev, int precedence,
+ struct hwtimer_pot_ops* ops)
+{
+ struct hwtimer_pot* hwpot;
+ struct potens_meta* pot;
+
+ if (!potens_check_unique(dev, potens(HWTIMER)))
+ {
+ return NULL;
+ }