The spec as written allows at most 64 total PMP_Resource entities to be shared among PMPs and SPMPs. Given that we can have up to 64 PMPs and up to 64 SPMPs, it is not unreasonable to allow the pool ...