Relocation types.
Sourceval r_386_none : Nat_big_num.num Sourceval r_386_32 : Nat_big_num.num Sourceval r_386_pc32 : Nat_big_num.num Sourceval r_386_got32 : Nat_big_num.num Sourceval r_386_plt32 : Nat_big_num.num Sourceval r_386_copy : Nat_big_num.num Sourceval r_386_glob_dat : Nat_big_num.num Sourceval r_386_jmp_slot : Nat_big_num.num Sourceval r_386_relative : Nat_big_num.num Sourceval r_386_gotoff : Nat_big_num.num Sourceval r_386_gotpc : Nat_big_num.num Found in the "wild" but not in the ABI docs:
Sourceval r_386_tls_tpoff : Nat_big_num.num Sourceval r_386_tls_dtpmod32 : Nat_big_num.num Sourceval r_386_tls_dtpoff32 : Nat_big_num.num Sourceval r_386_irelative : Nat_big_num.num Sourceval string_of_x86_relocation_type : Nat_big_num.num -> string string_of_x86_relocation_type m produces a string based representation of * X86 ABI relocation type m.