Sorry, I'm going to go back on something I said earlier. I said that we shouldn't use the fact that BAR4 happens to cover the kernel driver's TLB. But BAR0 can be reduced below 512MB in some systems, so BAR4 is the only assured way to access that TLB. Could you please use BAR4 instead? Conveniently, the last TLB is located at offset 0 in BAR 4.
Sorry, I'm going to go back on something I said earlier. I said that we shouldn't use the fact that BAR4 happens to cover the kernel driver's TLB. But BAR0 can be reduced below 512MB in some systems, so BAR4 is the only assured way to access that TLB. Could you please use BAR4 instead? Conveniently, the last TLB is located at offset 0 in BAR 4.