Symbol: pi_init_cpu
arch/x86/kvm/vmx/posted_intr.h
14
void __init pi_init_cpu(int cpu);
arch/x86/kvm/vmx/vmx.c
8956
pi_init_cpu(cpu);