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