kernel::elf::Elf32_Half [−] [src]

type Elf32_Half = uint16_t;