Symbol: device_hyperv_register
sys/arch/x86/x86/hypervvar.h
36
device_t device_hyperv_register(device_t, void *);
sys/arch/x86/x86/x86_autoconf.c
602
(void)device_hyperv_register(dev, aux);