Symbol: pctr_reload
sys/arch/amd64/amd64/ipifuncs.c
75
#define x86_64_ipi_reload_pctr pctr_reload
sys/arch/amd64/amd64/pctr.c
236
pctr_reload(ci);
sys/arch/amd64/include/pctr.h
69
void pctr_reload(struct cpu_info *);