original_kernel/drivers/lguest/x86
..
core.c
switcher_32.S