get_weakest_mem_model
get_weakest_mem_model(mdp, cpulist[0]);
static void get_weakest_mem_model(md_t *, mde_cookie_t);