aarch64 bus_space

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.