I want to print out values of a couple of registers from the linux kernel code running on ARM. Particularly I have the following assembly in linux – How do I print out the values of r2, r3 and r5 in kmsg? I do not want to use the variable names and want to get the values from registers. Answer