Я не так хорошо знаком с разработкой ядра и простыми способами отладки, но я думаю, это поможет мне.
size_t r2, r3, r5;
asm ("str r2, %[r2]\n"
"str r3, %[r3]\n"
"str r5, %[r5]\n"
: [r2]"=m" (r2), [r3]"=m" (r3), [r5]"=m" (r5));
printk("r2=%u r3=%u r4=%u\n", r2, r3, r5);
Редактировать: теперь со сборкой ARM вместо x86: p