ARM регистр r9 в ядре Linux

В "Стандарте вызова процедур архитектуры ARM" (AAPCS/EABI) говорится (5.1.1), что

"The role of register r9 is platform specific."

но

"A virtual platform [...] may designate r9 as an additional callee-saved
 variable register, v6."

Вопрос в том, использует ли ядро Linux r9 для какой-то особой цели? Или он используется как обычный энергонезависимый регистр?