Index: sys/x86/acpica/acpi_wakeup.c
===================================================================
--- sys/x86/acpica/acpi_wakeup.c
+++ sys/x86/acpica/acpi_wakeup.c
@@ -227,6 +227,7 @@
 
 	pcb = &susppcbs[0]->sp_pcb;
 	if (savectx(pcb)) {
+		hw_ibrs_active = 0;
 #ifdef __amd64__
 		fpususpend(susppcbs[0]->sp_fpususpend);
 #else
Index: sys/x86/include/x86_var.h
===================================================================
--- sys/x86/include/x86_var.h
+++ sys/x86/include/x86_var.h
@@ -84,6 +84,7 @@
 extern	uint64_t xsave_mask;
 extern	u_int	max_apic_id;
 extern int	pti;
+extern int	hw_ibrs_active;
 
 struct	pcb;
 struct	thread;