__find_holder
unsigned int h = __find_holder(lock, NULL);
unsigned int h = __find_holder(lock, task);