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