Nomes de registro da CPU do Android?

Este fragmento de código é extraído de um relatório de falha do Android em um Samsung Tab S:

Build fingerprint: 'samsung/chagallwifixx/chagallwifi:5.0.2/LRX22G/T800XXU1BOCC:user/release-keys'
Revision: '7'
ABI: 'arm'
    r0 a0d840bc  r1 a0dcb880  r2 00000001  r3 a0d840bc
    r4 a0dc3c4c  r5 00000000  r6 a066d200  r7 00000000
    r8 32d68f40  r9 a0c359a8  sl 00000014  fp bef3ba84
    ip a0dc3fb8  sp bef3ba10  lr a0c35a0c  pc a0c34bc8  cpsr 400d0010

r0 atravésr9 são registros de uso bastante claro,sp (r13) é o ponteiro da pilha epc (r15) é o contador de programa (ponteiro de instrução). Referindo-se aoSeção Registros da página ARM Architecture da Wikipedia (um demuitos páginas que eu olhei), acho quelr (r14) é o registro do link ecpsr é o "Registro atual do status do programa".

Eu gostaria de saber o quesl (r10),fp (r11) eip (r12) estão. eu esperoip énão o "ponteiro de instruções" porque essa função é executada porpc (r15)

Existe um documento de referência que não encontrei que ilustra esses nomes?

questionAnswers(1)

yourAnswerToTheQuestion