--- zzzz-none-000/linux-5.15.111/arch/x86/mm/fault.c	2023-05-11 14:00:40.000000000 +0000
+++ puma7-atom-6670-761/linux-5.15.111/arch/x86/mm/fault.c	2024-02-07 10:22:35.000000000 +0000
@@ -34,9 +34,14 @@
 #include <asm/vdso.h>			/* fixup_vdso_exception()	*/
 #include <asm/irq_stack.h>
 
+#include <asm/stacktrace.h>
+
 #define CREATE_TRACE_POINTS
 #include <asm/trace/exceptions.h>
 
+#include <avm/profile/profile.h>
+#include <avm/power/power.h>
+
 /*
  * Returns 0 if mmiotrace is disabled, or if the fault is not
  * handled by mmiotrace:
@@ -1394,8 +1399,19 @@
 	 * userland). The return to userland is identified whenever
 	 * FAULT_FLAG_USER|FAULT_FLAG_KILLABLE are both set in flags.
 	 */
+
+	avm_simple_profiling_log(avm_profile_data_type_hw_irq_begin,
+				instruction_pointer(regs),
+				AVM_PROFILE_PAGE_FAULT_ID);
+	avm_page_statistic_fault_get();
+
 	fault = handle_mm_fault(vma, address, flags, regs);
 
+	avm_page_statistic_fault_put();
+	avm_simple_profiling_log(avm_profile_data_type_hw_irq_end,
+				instruction_pointer(regs),
+				AVM_PROFILE_PAGE_FAULT_ID);
+
 	if (fault_signal_pending(fault, regs)) {
 		/*
 		 * Quick path to respond to signals.  The core mm code