pmap_di_load_invl
if (!pmap_di_load_invl(p, &prev) || prev.next != invl_gen)
if (!pmap_di_load_invl(p, &prev) || prev.next != NULL) {