dmar_dev_path
dmar_dev_path(dev, &dev_busno, dev_path, dev_path_len);
void dmar_dev_path(device_t child, int *busno, void *path1, int depth);