Symbol: x86_64_ipi_start_vmm
sys/arch/amd64/amd64/ipifuncs.c
105
x86_64_ipi_start_vmm,
sys/arch/amd64/amd64/ipifuncs.c
68
void x86_64_ipi_start_vmm(struct cpu_info *);