kernel_emu.h revision de71c581
1