kernel_emu.h revision de71c5816521bc6ede1fb9bfedebc1564d5449a5
1