diff --git a/sys/amd64/amd64/db_interface.c b/sys/amd64/amd64/db_interface.c
index 1ecec02835c..80208a9dae1 100644
--- a/sys/amd64/amd64/db_interface.c
+++ b/sys/amd64/amd64/db_interface.c
@@ -104,4 +104,5 @@ db_show_mdpcpu(struct pcpu *pc)
 	db_printf("gs32p        = %p\n", pc->pc_gs32p);
 	db_printf("ldt          = %p\n", pc->pc_ldt);
 	db_printf("tss          = %p\n", pc->pc_tss);
+	db_printf("tlb gen      = %u\n", pc->pc_smp_tlb_done);
 }
diff --git a/sys/i386/i386/db_interface.c b/sys/i386/i386/db_interface.c
index e9fca0908ac..c44758979d7 100644
--- a/sys/i386/i386/db_interface.c
+++ b/sys/i386/i386/db_interface.c
@@ -118,4 +118,5 @@ db_show_mdpcpu(struct pcpu *pc)
 	db_printf("trampstk     = 0x%x\n", pc->pc_trampstk);
 	db_printf("kesp0        = 0x%x\n", pc->pc_kesp0);
 	db_printf("common_tssp  = 0x%x\n", (u_int)pc->pc_common_tssp);
+	db_printf("tlb gen      = %u\n", pc->pc_smp_tlb_done);
 }