Searched refs:exec_addr (Results 1 – 2 of 2) sorted by relevance
240 bb.exec_addr = htole32(bootstrapexec); in pmax_setboot()259 le32toh(bb.exec_addr)); in pmax_setboot()
1268 uint32_t exec_addr; /* Address to start execing. */ member