hardclock
platform.clockintr = hardclock;
hardclock(framep);
hardclock(cf);
hardclock(cf);
IPL_CLOCK, (int (*)(void *))hardclock,
hardclock((struct clockframe*) arg);
hardclock((struct clockframe*) arg);
hardclock(frame);
hardclock(arg);
hardclock(cf);
hardclock(cf);
hardclock(cf);
hardclock(cf);
hardclock((struct clockframe*) arg);
hardclock(frame);
hardclock(frame);
hardclock(frame);
hardclock((struct clockframe *)arg);
hardclock(frame);
hardclock((struct clockframe*) arg);
hardclock(frame);
hardclock(frame);
hardclock((struct clockframe *)arg);
hardclock((struct clockframe *)arg);
hardclock(frame);
hardclock(arg);
hardclock(frame);
hardclock(frame);
hardclock(frame);
hardclock(frame);
hardclock(frame);
hardclock(frame);
hardclock(cf);
hardclock(arg);
hardclock(frame);
hardclock(frame);
hardclock(cf);
hardclock(cf);
hardclock(cf);
hardclock(&cf);
hardclock(&cf);
hardclock(&cf);
hardclock(&cf);
hardclock(frame);
hardclock((struct clockframe *)tf);
hardclock(cfp);
hardclock(&cf);
hardclock(cf);
hardclock(cf);
hardclock(frame);
hardclock(&cf);
hardclock(&cf);
hardclock(&cf);
hardclock(&cf);
hardclock(arg);
hardclock(&playstation2_clockframe);
hardclock(&cf);
hardclock(&cf);
hardclock(&cf);
hardclock(&cf);
hardclock(&cf);
hardclock(&cf);
hardclock(&tf->tf_cf);
hardclock(frame);
hardclock(cfp);
hardclock(cfp);
hardclock(cf);
hardclock(cf);
hardclock(&cf);
hardclock(arg);
hardclock(arg);
hardclock(frame);
hardclock((struct clockframe *)cap);
hardclock((struct clockframe *)cap);
hardclock((struct clockframe *)cap);
hardclock((struct clockframe *)cap);
hardclock(cap);
hardclock((struct clockframe *)cap);
hardclock((struct clockframe *)cap);
hardclock((struct clockframe *)cap);
hardclock((struct clockframe *)cap);
hardclock(&cf);
hardclock(&cf);
hardclock(&cf);
hardclock(&cf);
.func = hardclock },
hardclock((struct clockframe *)frame);
hardclock((struct clockframe *)frame);
SDT_PROBE_DEFINE2(sdt, xen, hardclock, systime__backward,
SDT_PROBE_DEFINE2(sdt, xen, hardclock, tick,
SDT_PROBE_DEFINE3(sdt, xen, hardclock, jump,
SDT_PROBE_DEFINE3(sdt, xen, hardclock, missed,
SDT_PROBE2(sdt, xen, hardclock, tick, last, now);
SDT_PROBE2(sdt, xen, hardclock, systime__backward,
SDT_PROBE3(sdt, xen, hardclock, jump,
hardclock(frame);
SDT_PROBE3(sdt, xen, hardclock, missed,
hardclock(frame);
hardclock(cf);
hardclock(clkframe);
void hardclock(struct clockframe *);