Lines Matching refs:uint32_t

71     uint32_t kernel_size; /* size in bytes */
72     uint32_t kernel_addr; /* physical load addr */
74     uint32_t ramdisk_size; /* size in bytes */
75     uint32_t ramdisk_addr; /* physical load addr */
77     uint32_t second_size; /* size in bytes */
78     uint32_t second_addr; /* physical load addr */
80     uint32_t tags_addr; /* physical addr for kernel tags (if required) */
81     uint32_t page_size; /* flash page size we assume */
84     uint32_t header_version;
90     uint32_t os_version;
108     uint32_t id[8]; /* timestamp / checksum / sha1 / etc */
157     uint32_t recovery_dtbo_size;   /* size in bytes for recovery DTBO/ACPIO image */
159     uint32_t header_size;
200     uint32_t dtb_size; /* size in bytes for DTB image */
254     uint32_t kernel_size; /* size in bytes */
255     uint32_t ramdisk_size; /* size in bytes */
261     uint32_t os_version;
275     uint32_t header_size;
277     uint32_t reserved[4];
280     uint32_t header_version;
291     uint32_t header_version;
293     uint32_t page_size; /* flash page size we assume */
295     uint32_t kernel_addr; /* physical load addr */
296     uint32_t ramdisk_addr; /* physical load addr */
298     uint32_t vendor_ramdisk_size; /* size in bytes */
302     uint32_t tags_addr; /* physical addr for kernel tags (if required) */
305     uint32_t header_size;
307     uint32_t dtb_size; /* size in bytes for DTB image */
401     uint32_t signature_size; /* size in bytes */
405     uint32_t vendor_ramdisk_table_size; /* size in bytes for the vendor ramdisk table */
406     uint32_t vendor_ramdisk_table_entry_num; /* number of entries in the vendor ramdisk table */
407     uint32_t vendor_ramdisk_table_entry_size; /* size in bytes for a vendor ramdisk table entry */
408     uint32_t bootconfig_size; /* size in bytes for the bootconfig section */
412     uint32_t ramdisk_size; /* size in bytes for the ramdisk image */
413     uint32_t ramdisk_offset; /* offset to the ramdisk image in vendor ramdisk section */
414     uint32_t ramdisk_type; /* type of the ramdisk */
419     uint32_t board_id[VENDOR_RAMDISK_TABLE_ENTRY_BOARD_ID_SIZE];