HomeSort by: relevance | last modified time | path
    Searched defs:addr64 (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/dev/acpi/
acpi_pci.c 132 ACPI_RESOURCE_ADDRESS64 addr64; local
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
135 vmaj, vmin, nos, nis, nbidir, nsdo, addr64 ? ", 64-bit" : "");
  /src/sys/dev/pci/
if_iwmreg.h 2305 uint64_t addr64[IWM_NUM_OF_FW_PAGING_BLOCKS]; member in union:iwm_fw_paging_cmd::__anon3339

Completed in 26 milliseconds