PMAP_LIST_MAXNUMCPU
LIST_ENTRY(pmap) pm_list[PMAP_LIST_MAXNUMCPU]; /* per cpu ctx used list */
int pm_ctx[PMAP_LIST_MAXNUMCPU]; /* Current context per cpu */