verification/data/types.txt

umode_t
sector_t
match_table_t
substring_t
ino_t
loff_t
pgoff_t
bool
u8
u16
u32
u64
unit_t
bool_t
rwlock_t
kuid_t
kgid_t
SpinLock
__le16
__le32
__le64
__be16
__be32
__be64