Searched defs:addr64 (Results 1 - 4 of 4) sorted by relevance
| /src/sys/dev/acpi/ | ||
| H A D | acpi_pci.c | 132 ACPI_RESOURCE_ADDRESS64 addr64; local in function:acpi_pcidev_pciroot_bus_callback |
| /src/sys/dev/hdaudio/ | ||
| H A D | hdaudio.c | 132 const int addr64 = HDAUDIO_GCAP_64OK(gcap); local in function:hdaudio_init |
| /src/usr.sbin/acpitools/acpidump/ | ||
| H A D | acpi.c | 807 acpi_select_address(uint32_t addr32, uint64_t addr64) argument |
| /src/sys/dev/pci/ | ||
| H A D | if_iwmreg.h | 2305 uint64_t addr64[IWM_NUM_OF_FW_PAGING_BLOCKS]; member in union:iwm_fw_paging_cmd::__anonf31f69c90c0a |
Completed in 23 milliseconds