Here is a list of all typedefs with links to the files they belong to:

• __SYS_clockid_t : syscalls.h
• __SYS_socklen_t : syscalls.h
• FramebufferScreenInfo : syscalls.h