PCIE_OARR_ADDR
KASSERT((size & ~PCIE_OARR_ADDR) == 0);
if (size > __LOWEST_SET_BIT(PCIE_OARR_ADDR)) {
paddr_t base1 = base + __LOWEST_SET_BIT(PCIE_OARR_ADDR);