flk_color_reachables
static int flk_color_reachables(lock_descriptor_t *);
count = flk_color_reachables(vertex);
count += flk_color_reachables(lock);