--- zzzz-none-000/linux-4.9.279/arch/x86/include/asm/hpet.h	2021-08-08 06:38:54.000000000 +0000
+++ puma7-atom-6591-750/linux-4.9.279/arch/x86/include/asm/hpet.h	2023-02-08 11:43:42.000000000 +0000
@@ -111,4 +111,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 */