fat_header_prefixt Struct Reference

Public Attributes
uint32_t	magic
uint32_t	n_architectures

Detailed Description

Definition at line 42 of file osx_fat_reader.cpp.

Member Data Documentation

magic

uint32_t fat_header_prefixt::magic

Definition at line 44 of file osx_fat_reader.cpp.

n_architectures

uint32_t fat_header_prefixt::n_architectures

Definition at line 45 of file osx_fat_reader.cpp.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-programs/osx_fat_reader.cpp