--- zzzz-none-000/linux-4.9.279/arch/arm/mm/fault.c	2021-08-08 06:38:54.000000000 +0000
+++ puma7-arm-6591-750/linux-4.9.279/arch/arm/mm/fault.c	2023-02-08 10:58:12.000000000 +0000
@@ -27,6 +27,7 @@
 #include <asm/tlbflush.h>
 
 #include "fault.h"
+#include <avm/profile/profile.h>
 
 #ifdef CONFIG_MMU
 
@@ -311,7 +312,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);
+    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_sem because
@@ -433,6 +436,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);