cvmx_pko_initialize_global
cvmx_pko_initialize_global();
extern void cvmx_pko_initialize_global(void);