get_mmu_shcontexts
if (get_mmu_shcontexts(mdp, cpulist[0]) >= MIN_NSHCONTEXTS &&
static uint64_t get_mmu_shcontexts(md_t *, mde_cookie_t);