--- zzzz-none-000/linux-5.15.111/arch/x86/include/asm/hpet.h	2023-05-11 14:00:40.000000000 +0000
+++ puma7-atom-6670-761/linux-5.15.111/arch/x86/include/asm/hpet.h	2024-02-07 10:22:34.000000000 +0000
@@ -100,4 +100,11 @@
 #define default_setup_hpet_msi	NULL
 
 #endif
+
+#if IS_ENABLED(CONFIG_HPET_NMI_TIMER)
+extern int avm_nmi_timer_start(int seconds, const cpumask_t *mask);
+extern void avm_nmi_timer_stop(void);
+extern void avm_nmi_timer_update(void);
+extern bool avm_nmi_timer_expired(void);
+#endif /* IS_ENABLED(CONFIG_HPET_NMI_TIMER) */
 #endif /* _ASM_X86_HPET_H */