free_percpu      1955 mm/percpu.c    void free_percpu(void __percpu *ptr)
free_percpu        23 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h static inline void free_percpu(void *ptr)