hypervisor_attach
void hypervisor_attach(device_t, device_t, void *);
hypervisor_match, hypervisor_attach, NULL, NULL);