Searched refs:hptcp (Results 1 – 1 of 1) sorted by relevance
431 uint32_t *hptcp = (uint32_t *)(rcbaArea + 0x3404); in hpet_restore() local432 uint32_t hptc = *hptcp; in hpet_restore()436 *hptcp = (hptc & ~3) | hptcAE; in hpet_restore()