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

  /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/usr.sbin/acpitools/acpidump/
acpi.c 807 acpi_select_address(uint32_t addr32, uint64_t addr64)
810 if (addr64 == 0)
813 if ((addr32 != 0) && ((addr64 & 0xfffffff) != addr32)) {
824 return addr64;
  /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
if_iwm.c 3044 fw_paging_cmd.device_phy_addr.addr64[blk_idx] =

Completed in 31 milliseconds