Hi, On x86 platform, there is cpu feature called as execute disable bit(aka: XD). At BIOS stage, usually allocates an address range as PCIE MMIO range. Is there a simple mechanism to set this PCIE MMIO rage's attribute as XD? Thanks