Searched defs:machine_sbdf (Results 1 – 1 of 1) sorted by relevance
541 uint32_t machine_sbdf; /* machine PCI ID of assigned device */ member553 uint32_t machine_sbdf; /* IN */ member