Вот. Наконец-то посмотрел код. Соглашусь. Но тут мы недопонимаем
друг друга уже с термином "разделяется". У меня понятие
"разделяется" выше означает одно и то же, общее. Пример -
"разделить с товарищем один на двоих бутерброд" или "она разделила
со мной постель". А у тебя походу "разделять" это разное. Так вот,
твоё "не разделяется" это ты имеешь в виду что и там и там
используется одно число. То есть чиселка приоритета общая. Верно?
Просто я склоняюсь к этому же мнению (см исх вопрос). Что и Exception's и Interrupt's используют одно и то же числовое значение приоритета, несмотря на запись в разные регистры. Ну и наверное ARM документация наверняка обязательно бы упомянула этот факт если бы они именно различались.