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();