Searched defs:machine_sbdf (Results 1 – 1 of 1) sorted by relevance
446 vki_uint32_t machine_sbdf; /* machine PCI ID of assigned device */ member455 vki_uint32_t machine_sbdf; /* machine PCI ID of assigned device */ member