Searched refs:SYSDBG_BUS_DATA64 (Results 1 – 1 of 1) sorted by relevance
60 } SYSDBG_BUS_DATA64, *PSYSDBG_BUS_DATA64; typedef723 SYSDBG_BUS_DATA64 ext64; in win32_kldbg_pci_bus_data()