Is there any restriction on physical addresses of devices that can be mapped? One register block of the RK3588 PCIe controller is above the 4G line. Reading or writing using the bus_space_handle_t setup for it just locks up the machine. Have tried both with and without BUS_SPACE_MAP_NONPOSTED.