default_swiotlb_base
default_swiotlb_base() & ~((1ull << 22) - 1);
phys_addr_t default_swiotlb_base(void);