--- zzzz-none-000/linux-5.15.111/arch/arm/mm/fault.c	2023-05-11 14:00:40.000000000 +0000
+++ puma7-arm-6670-761/linux-5.15.111/arch/arm/mm/fault.c	2024-02-07 09:27:16.000000000 +0000
@@ -23,6 +23,7 @@
 #include <asm/tlbflush.h>
 
 #include "fault.h"
+#include <avm/profile/profile.h>
 
 #ifdef CONFIG_MMU
 
@@ -293,7 +294,9 @@
 #endif
 	}
 
+    avm_simple_profiling_log(avm_profile_data_type_hw_irq_begin, (unsigned int)regs->ARM_pc, AVM_PROFILE_PAGE_FAULT_ID);
 	fault = __do_page_fault(mm, addr, fsr, flags, tsk, regs);
+    avm_simple_profiling_log(avm_profile_data_type_hw_irq_end, (unsigned int)regs->ARM_pc, AVM_PROFILE_PAGE_FAULT_ID);
 
 	/* If we need to retry but a fatal signal is pending, handle the
 	 * signal first. We do not need to release the mmap_lock because
@@ -397,6 +400,7 @@
 	pud_t *pud, *pud_k;
 	pmd_t *pmd, *pmd_k;
 
+    avm_simple_profiling_enter_irq_context(regs->ARM_pc, regs->ARM_lr);
 	if (addr < TASK_SIZE)
 		return do_page_fault(addr, fsr, regs);