-/* Prints the call stack, that is, a list of addresses in each of
- the functions we are nested within. gdb or addr2line may be
- applied to kernel.o to translate these into file names, line
- numbers, and function names. */
+/* Prints the call stack, that is, a list of addresses, one in
+ each of the functions we are nested within. gdb or addr2line
+ may be applied to kernel.o to translate these into file names,
+ line numbers, and function names. */