Searched defs:ext64 (Results 1 – 1 of 1) sorted by relevance
717 KLDBG64 ext64; in win32_kldbg_pci_bus_data() member723 SYSDBG_BUS_DATA64 ext64; in win32_kldbg_pci_bus_data() member