Xen : How to passthrough AXI device to domU?

I wrote a custom AXI device on a xilinx FPGA on arm64. I can access it when i run my software in baremetalb but I have to use xen and passthrough the range of AXI addresses to use it from domU. My AXI device addresses are from 0x80010000 to 0x8001FFFF I tried to run my domU with this cfg without success : name = "test_soft" kernel = "soft.bin" memory = 512 vcpus = 1 iomem = [ "0x80010000,1000" ] I have this error : **libxl: error: libxl_create.c:1652:domcreate_launch_dm: Domain 2:failed give domain access to iomem range 80010000-8001FFFF: Operation not permitted** In my device tree : mydevice: mydevice@80010000 { compatible = "test,mydevice"; reg = ; #stream-id-cells = ; interrupt-parent = ; interrupts = ; xen,passthrough = ; }; The I/O virtualisation is enabled in xen, smmu is enabled in my kernel. How can I pass my axi device ? Thanks for your help