Цитата(GetSmart @ Jun 28 2016, 21:14)

Документальные подтверждения где?
Вам письмо за подписью директора ARM нужно?
Цитата(GetSmart @ Jun 28 2016, 21:14)

При этом можно в стеке эти номера менять (сбивать), оттуда значение грузится в IPSR, а на котлеты (приоритеты принятых прерываний/исключений) это не повлияет.
И где тогда посмотреть текущий уровень приоритета прерывания по Вашему? В каком регистре?
Фантазировать можно как угодно, но как правило, разработчики ядер действуют соответствуясь с логикой и здравым смыслом и не городят ненужных сущностей когда без них можно обойтись.
Если такие регистры уже есть и они хранят нечто нужное, на кой придумывать некие "невидимые программисту" сущности?
О том же говорит и правило Бритвы Оккама.
Цитата(GetSmart @ Jun 28 2016, 21:14)

Вопрос стоит в том, насколько подробно ARM этот вопрос задокументировал. Чтобы масоны эту логику в дальнейшем не смогли переиначить.
Открываете описание ядра с
http://www.arm.com, читаете про регистр IPSR и про регистр
Interrupt Control State Register (в числе регистров NVIC), в котором есть поле VECTACTIVE.
Пишете простейший код, в котором изнутри одного ISR вызываете другой, более приоритетный.
Трассируете:
вход в первый ISR - содержимое IPSR и VECTACTIVE - совпадают (например ==0x24);
вход во второй ISR (вложенный) - содержимое IPSR и VECTACTIVE - совпадают (например ==0x0B); в стеке содержимое IPSR из первого ISR (0x24), LR=0xFFFFFFF1;
меняете на стеке содержимое IPSR на какое-либо другое (например ==0x25);
выполняете BX LR и убеждаетесь, что теперь IPSR и VECTACTIVE становятся раными значению, записанному Вами в стек (0x25), а не тому значению, что было в первом ISR (0x24).
Обратите внимание - оба регистра IPSR и VECTACTIVE установились в значение, записанное Вами в стек (0x25), а не в значение из первого ISR (0x24), которое могло быть получено из неких "невидимых программисту" субстанций.