Fixes issue #659 V2: Changed max_pools from unsigned int to uint32_t (Barry & Bill)
V3: Renamed common.max_pools to max_pools_combined and improved related documentation ----------------github------------------------ /** Email created from pull request 664 (matiaselo:dev/timer_pool_capability) ** https://github.com/Linaro/odp/pull/664 ** Patch: https://github.com/Linaro/odp/pull/664.patch ** Base sha: 9b2b5a9695ad66977c964c83691cd2fef4c45b85 ** Merge commit sha: 50bf16b325efa11919ae073173ebcd0fec8ebe81 **/ ----------------/github------------------------ ----------------checkpatch.pl------------------------ total: 0 errors, 0 warnings, 0 checks, 22 lines checked to_send-p-000.patch has no obvious style problems and is ready for submission. total: 0 errors, 0 warnings, 0 checks, 9 lines checked to_send-p-001.patch has no obvious style problems and is ready for submission. total: 0 errors, 0 warnings, 0 checks, 61 lines checked to_send-p-002.patch has no obvious style problems and is ready for submission. ----------------/checkpatch.pl------------------------
