Searched refs:device_number (Results 1 – 1 of 1) sorted by relevance
2263 uint64_t device_number; in guest_prune_pcie() local2275 &device_number)) in guest_prune_pcie()2277 xasprintf(&path2, "%s/@%llx", path, device_number); in guest_prune_pcie()