Имена регистров процессора Android?

Этот фрагмент кода извлечен из отчета о сбое Android на 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 черезr9 довольно четко регистры общего назначения,sp (r13) является указателем стека, иpc (r15) - счетчик программ (указатель инструкций). Ссылаясь наВикипедия ARM Architecture страница Регистрирует раздел (один измного страницы, которые я просматривал), я считаю, чтоlr (r14) является регистром ссылки, иcpsr является «Регистром текущего состояния программы».

Я хотел бы знать, чтоsl (r10),fp (r11) а такжеip (r12) являются. Я ждуip являетсяне «указатель инструкции», потому что эта функция выполняетсяpc (r15).

Есть ли справочный документ, который я не нашел, который иллюстрирует эти имена?