Index: kernel/generic/include/interrupt.h
===================================================================
--- kernel/generic/include/interrupt.h	(revision d84319865c1131f37cbdba6ba952c5d38c735d0d)
+++ kernel/generic/include/interrupt.h	(revision 7bb0c321ab9bf6b85b9e96d07f8afca9e9c5bb9a)
@@ -49,7 +49,8 @@
 { \
 	if (istate_from_uspace(istate)) { \
-		klog_printf("Task %llu killed due to an exception at %p.", TASK->taskid, istate_get_pc(istate)); \
+		task_t *task = TASK; \
+		klog_printf("Task %llu killed due to an exception at %p.", task->taskid, istate_get_pc(istate)); \
 		klog_printf("  " cmd, ##__VA_ARGS__); \
-		task_kill(TASK->taskid); \
+		task_kill(task->taskid); \
 		thread_exit(); \
 	} \
Index: kernel/generic/src/printf/printf_core.c
===================================================================
--- kernel/generic/src/printf/printf_core.c	(revision d84319865c1131f37cbdba6ba952c5d38c735d0d)
+++ kernel/generic/src/printf/printf_core.c	(revision 7bb0c321ab9bf6b85b9e96d07f8afca9e9c5bb9a)
@@ -419,8 +419,8 @@
  * TYPE:@n
  * 	- "hh"	Signed or unsigned char.@n
- * 	- "h"	Signed or usigned short.@n
- * 	- ""	Signed or usigned int (default value).@n
- * 	- "l"	Signed or usigned long int.@n
- * 	- "ll"	Signed or usigned long long int.@n
+ * 	- "h"	Signed or unsigned short.@n
+ * 	- ""	Signed or unsigned int (default value).@n
+ * 	- "l"	Signed or unsigned long int.@n
+ * 	- "ll"	Signed or unsigned long long int.@n
  * 	- "z"	unative_t (non-standard extension).@n
  * 
@@ -434,5 +434,5 @@
  * 
  * 	- P, p	Print value of a pointer. Void * value is expected and it is printed in hexadecimal notation with prefix
- * 	(as with \%#X or \%#x for 32bit or \%#X / \%#x for 64bit long pointers).
+ * 	(as with \%#X / \%#x for 32bit or \%#X / \%#x for 64bit long pointers).
  *
  * 	- b	Print value as unsigned binary number. Prefix is not printed by default. (Nonstandard extension.)