# HG changeset patch
# Parent 2d1845bd191854b083fa185c305669c2703898a0
---
 drivers/lguest/page_tables.c |    3 +++
 1 file changed, 3 insertions(+)

diff --git a/drivers/lguest/page_tables.c b/drivers/lguest/page_tables.c
--- a/drivers/lguest/page_tables.c
+++ b/drivers/lguest/page_tables.c
@@ -121,6 +121,9 @@ static pmd_t *spmd_addr(struct lg_cpu *c
 	if (pgd_index(vaddr) == SWITCHER_PGD_INDEX &&
 					index >= SWITCHER_PMD_INDEX) {
 		kill_guest(cpu, "attempt to access switcher pages");
+		printk("Switcher accessed: 0x%lx EIP 0x%lx (%u)\n",
+		       vaddr, cpu->regs->eip,
+		       cpu->hcall ? cpu->hcall->arg0 : -1L);
 		index = 0;
 	}