Searched refs:sec_ret_addr (Results 1 – 1 of 1) sorted by relevance
841 uint32_t sec_ret_addr; local855 sec_ret_addr = secure_esf->basic.pc;860 sec_ret_addr = *top_of_sec_stack;862 PR_FAULT_INFO(" S instruction address: 0x%x", sec_ret_addr);
