Searched refs:wrIA32_FIXED_CTRx (Results 1 – 1 of 1) sorted by relevance
76 wrIA32_FIXED_CTRx(uint32_t ctr, uint64_t value) in wrIA32_FIXED_CTRx() function206 wrIA32_FIXED_CTRx(ctr, FIXED_RELOAD(ctr)); in kpc_reload_fixed()