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