Searched defs:uint32_t (Results 1 – 2 of 2) sorted by relevance
| /tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/ | ||
| D | types.h | 47 typedef __u32 uint32_t; typedef |
| /tools/include/nolibc/ | ||
| D | nolibc.h | 125 typedef unsigned int uint32_t; typedef |