Symbol: x86_64_ipi_reload_mtrr
sys/arch/amd64/amd64/ipifuncs.c
81
void x86_64_ipi_reload_mtrr(struct cpu_info *);
sys/arch/amd64/amd64/ipifuncs.c
97
x86_64_ipi_reload_mtrr,