init_hypervisor_platform 71 arch/x86/include/asm/hypervisor.h extern void init_hypervisor_platform(void); init_hypervisor_platform 1036 arch/x86/kernel/setup.c init_hypervisor_platform();