Searched defs:hptc (Results 1 – 1 of 1) sorted by relevance
215 uint32_t hptc = *xmod; /* Get HPET config */ in hpet_init() local432 uint32_t hptc = *hptcp; in hpet_restore() local