valid_pages
static int valid_pages(md_t *md, mde_cookie_t cpu0);
if (valid_pages(md, cpunodes[0]) == 0) {