Searched refs:is_32bit_on_64bit_system (Results 1 – 1 of 1) sorted by relevance
731 BOOL is_32bit_on_64bit_system = win32_is_32bit_on_64bit_system(); in win32_kldbg_pci_bus_data() local746 if (is_32bit_on_64bit_system) in win32_kldbg_pci_bus_data()769 if (is_32bit_on_64bit_system) in win32_kldbg_pci_bus_data()