Searched refs:hptc_vaddr (Results 1 – 1 of 1) sorted by relevance
234 uint64_t hptc_vaddr = (RCBA_vaddr + 0x3404UL); in HPET_init() local238 switch (__read4b(hptc_vaddr) & 0x3) in HPET_init()256 __write4b(hptc_vaddr, 0x80); in HPET_init()