hypervisor_init   103 drivers/base/base.h extern int hypervisor_init(void);
hypervisor_init    28 drivers/base/init.c 	hypervisor_init();