kernel::elf::int32_t [−] [src]

type int32_t = c_int;