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