emulator_read_write 5805 arch/x86/kvm/x86.c 	return emulator_read_write(ctxt, addr, val, bytes,
emulator_read_write 5815 arch/x86/kvm/x86.c 	return emulator_read_write(ctxt, addr, (void *)val, bytes,