--- zzzz-none-000/linux-5.15.111/arch/x86/kernel/apic/apic.c	2023-05-11 14:00:40.000000000 +0000
+++ puma7-atom-6670-761/linux-5.15.111/arch/x86/kernel/apic/apic.c	2024-02-07 10:22:35.000000000 +0000
@@ -61,6 +61,8 @@
 #include <asm/cpu_device_id.h>
 #include <asm/intel-family.h>
 #include <asm/irq_regs.h>
+#include <avm/power/power.h>
+#include <avm/profile/profile.h>
 
 unsigned int num_processors;
 
@@ -1098,8 +1100,11 @@
 	struct pt_regs *old_regs = set_irq_regs(regs);
 
 	ack_APIC_irq();
+	avm_cpu_wait_end();  /*--- auch wenn es wait_irqoff gibt: trotzdem aufrufen, um system-load-Ausgabe zu triggern  ---*/
 	trace_local_timer_entry(LOCAL_TIMER_VECTOR);
+	avm_simple_profiling_log(avm_profile_data_type_hw_irq_begin, (unsigned long)sysvec_apic_timer_interrupt, 0x105);
 	local_apic_timer_interrupt();
+	avm_simple_profiling_log(avm_profile_data_type_hw_irq_end, (unsigned long)sysvec_apic_timer_interrupt, 0x105);
 	trace_local_timer_exit(LOCAL_TIMER_VECTOR);
 
 	set_irq_regs(old_regs);