Browse Source
Needed for pc_cpu_reset(). Also change return type to X86CPU. Signed-off-by: Andreas Färber <afaerber@suse.de> Reviewed-by: Igor Mammedov <imammedo@redhat.com>pull/92/head
1 changed files with 6 additions and 4 deletions
Loading…
Reference in new issue