Searched refs:machine_sbdf (Results 1 – 1 of 1) sorted by relevance
524 uint32_t machine_sbdf; /* machine PCI ID of assigned device */ member536 uint32_t machine_sbdf; /* IN */ member