COMPMID-1002: Expose number of pools in PoolManager

Change-Id: I3b14bd87d0650dc4378dc3ccbd14274b9c019657
Reviewed-on: https://eu-gerrit-1.euhpc.arm.com/124428
Reviewed-by: Anthony Barbier <anthony.barbier@arm.com>
Tested-by: Jenkins <bsgcomp@arm.com>
3 files changed