02/71: Correct type of `pthread_once` argument
02/71: Correct type of `pthread_once` argument

Co-authored-by: Simmo Saan <43bc63fd4e818c04906d6ad710460794fe32296e@gmail.com>
goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer