Searched refs:sec_cpu_branch_p (Results 1 – 1 of 1) sorted by relevance
111 uint32_t *sec_cpu_branch_p = NULL; in write_bootloader() local119 sec_cpu_branch_p = p; in write_bootloader()136 stl_p(sec_cpu_branch_p, 0x12800000 in write_bootloader()137 + (p - sec_cpu_branch_p)); in write_bootloader()