Revision a0595d9e
ID | a0595d9eb85c64e00d03c4d696bb1028e99dfcbc |
xen_machine_pv: Use cpu_x86_init() to obtain X86CPU
Needed for moving halted field to CPUState.
Signed-off-by: Andreas Färber <afaerber@suse.de>
Tested-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Files
- added
- modified
- copied
- renamed
- deleted