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