Searched refs:kpc_reload_counter (Results 1 – 1 of 1) sorted by relevance
752 kpc_reload_counter(uint32_t ctr) in kpc_reload_counter() function809 kpc_reload_counter(offset + i); in kpc_set_reload_xcall()838 uint64_t extra = kpc_reload_counter(ctr); in kpc_pmi_handler()