Index: kernel/generic/include/sysinfo/abi.h
===================================================================
--- kernel/generic/include/sysinfo/abi.h	(revision be069144135afaab9e7c8cee79ffd3504762612c)
+++ kernel/generic/include/sysinfo/abi.h	(revision fae1647474f9795a46361cd248154fafdbc2bfbc)
@@ -130,4 +130,5 @@
 	unsigned int id;             /**< Exception ID */
 	char desc[EXC_NAME_BUFLEN];  /**< Description */
+	bool hot;                    /**< Active or inactive exception */
 	uint64_t cycles;             /**< Number of CPU cycles in the handler */
 	uint64_t count;              /**< Number of handled exceptions */