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