HomeSort by relevance Sort by last modified time
    Searched refs:GAS_SYSTEM_IO (Results 1 - 2 of 2) sorted by null

  /external/syslinux/com32/gplinclude/acpi/
structs.h 23 enum { GAS_SYSTEM_MEMORY=0, GAS_SYSTEM_IO=1 };
27 /* address_space_id could be {GAS_SYSTEM_MEMORY | GAS_SYSTEM_IO} */
  /device/linaro/bootloader/edk2/Vlv2TbltDevicePkg/Include/Guid/
HwWatchdogTimerHob.h 87 GAS_SYSTEM_IO,
114 // GAS_SYSTEM_IO - The 64-bit I/O address of the register. 32-bit platforms must have

Completed in 776 milliseconds