I agree with Thomas, the check is not needed. After this all settles out, I have a patch to add support for I/O resource tracking in base DPDK. It makes it easier to do the right thing in drivers that need to use I/O instead of memory.