Searched refs:device_hyperv_register (Results 1 – 3 of 3) sorted by relevance
36 device_t device_hyperv_register(device_t, void *);
602 (void)device_hyperv_register(dev, aux); in device_register()
1113 device_hyperv_register(device_t dev, void *aux) in device_hyperv_register() function