unsigned char type and bindings
string_of_unsigned_char uc
provides a string representation of unsigned * char uc
(in base 10).
natural_of_unsigned_char uc
converts an unsigned char uc
into a natural.
unsigned_char_of_natural i
converts a natural
into an unsigned char, wrapping * around if the size of the nat exceeds the storage capacity of an unsigned * char.
unsigned_char_land uc0 uc1
bitwise ANDs two unsigned chars, uc0
and uc1
* together.
unsigned_char_lor uc0 uc1
bitwise OR two unsigned chars, uc0
and uc1
* together.
unsigned_char_lshift uc n
performs a left bitshift of n
places on unsigned * char uc
.
unsigned_char_rshift uc n
performs a right bitshift of n
places on unsigned * char uc
.
unsigned_char_plus uc0 uc1
adds two unsigned chars, uc0
and uc1
.
read_unsigned_char end bs0
reads an unsigned char from byte_sequence bs0
* assuming endianness end
. Returns the unsigned char and the remainder of * the byte_sequence. Fails if an unsigned char cannot be read from the byte_sequence, * e.g. if bs0
is too small.
ELF address type: * 4 byte unsigned type on 32-bit architectures. * 8 byte unsigned type on 64-bit architectures.
elf64_addr type and bindings
ELF half word type: * 2 byte unsigned type on 32-bit architectures. * 2 byte unsigned type on 64-bit architectures.
elf64_half type and bindings
ELF offset type: * 4 byte unsigned type on 32-bit architectures. * 8 byte unsigned type on 64-bit architectures.
elf64_off type and bindings
ELF word type: * 4 byte unsigned type on 32-bit architectures. * 4 byte unsigned type on 64-bit architectures.
elf64_word type and bindings
ELF signed word type: * 4 byte signed type on 32-bit architectures. * 4 byte signed type on 64-bit architectures.
elf64_sword type and bindings
ELF extra wide word type: * 8 byte unsigned type on 64-bit architectures.
ELF signed extra wide word type: * 8 byte signed type on 64-bit architectures.