Searched defs:addr64 (Results 1 – 5 of 5) sorted by relevance
132 ACPI_RESOURCE_ADDRESS64 addr64; in acpi_pcidev_pciroot_bus_callback() local
5983 uint64_t addr64; in i386_process_record() local6719 uint64_t addr64; in i386_process_record() local7004 uint64_t addr64; in i386_process_record() local7078 uint64_t addr64; in i386_process_record() local
807 acpi_select_address(uint32_t addr32, uint64_t addr64) in acpi_select_address()
2137 addr64(unsigned char* view, Address value) in addr64() function in __anonfe78cb590111::Powerpc_relocate_functions
2168 uint64_t addr64[IWM_NUM_OF_FW_PAGING_BLOCKS]; member