Home | Sort by: relevance | last modified time | path |
/src/sys/dev/acpi/ | |
acpi_pci.c | 132 ACPI_RESOURCE_ADDRESS64 addr64; local in function:acpi_pcidev_pciroot_bus_callback 141 if (ACPI_FAILURE(AcpiResourceToAddress64(res, &addr64))) 144 if (addr64.ResourceType != ACPI_BUS_NUMBER_RANGE) 150 if (addr64.Address.Minimum > 0xFFFF) 153 *bus = (int32_t)addr64.Address.Minimum; |
/src/sys/dev/hdaudio/ | |
hdaudio.c | 132 const int addr64 = HDAUDIO_GCAP_64OK(gcap); local in function:hdaudio_init 135 vmaj, vmin, nos, nis, nbidir, nsdo, addr64 ? ", 64-bit" : ""); |
/src/sys/dev/pci/ | |
if_iwmreg.h | 2168 uint64_t addr64[IWM_NUM_OF_FW_PAGING_BLOCKS]; member in union:iwm_fw_paging_cmd::__anond45a4523090a |