Searched refs:hct (Results 1 – 1 of 1) sorted by relevance
158 sbintime_t t, *hct; in handleevents() local183 hct = DPCPU_PTR(hardclocktime); in handleevents()184 *hct = state->nexthard - tick_sbt; in handleevents()