Lines Matching refs:uint32_t
101 uint32_t type; /* Type of pointer (byte, halfword, word, wait/read) */
102 uint32_t addr; /* Address to write to */
103 uint32_t value; /* Data to write */
107 uint32_t barker; /* Barker for sanity check */
108 uint32_t length; /* Device configuration length (without preamble) */
117 uint32_t app_code_jump_vector;
118 uint32_t app_code_barker;
119 uint32_t app_code_csf;
120 uint32_t dcd_ptr_ptr;
121 uint32_t super_root_key;
122 uint32_t dcd_ptr;
123 uint32_t app_dest_ptr;
127 uint32_t length; /* Length of data to be read from flash */
137 uint32_t addr;
138 uint32_t value;
161 uint32_t padding[1]; /* end up on an 8-byte boundary */
165 uint32_t start;
166 uint32_t size;
167 uint32_t plugin;
172 uint32_t entry;
173 uint32_t reserved1;
174 uint32_t dcd_ptr;
175 uint32_t boot_data_ptr;
176 uint32_t self;
177 uint32_t csf;
178 uint32_t reserved2;
193 uint32_t padding[5];
206 int fld, uint32_t value,
207 uint32_t off);
209 typedef void (*set_dcd_param_t)(struct imx_header *imxhdr, uint32_t dcd_len,
213 uint32_t dcd_len,
216 typedef void (*set_imx_hdr_t)(struct imx_header *imxhdr, uint32_t dcd_len,
217 uint32_t entry_point, uint32_t flash_offset);