u_char 84 include/linux/types.h typedef unsigned char u_char; u_char 22 tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h typedef unsigned char u_char;