Jeremy Fitzhardinge fc8b8a60ff x86, 64-bit: use write_gdt_entry in vsyscall_set_cpu
Use write_gdt_entry to generate the special vgetcpu descriptor in the
vsyscall page.

Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>
Cc: xen-devel <xen-devel@lists.xensource.com>
Cc: Stephen Tweedie <sct@redhat.com>
Cc: Eduardo Habkost <ehabkost@redhat.com>
Cc: Mark McLoughlin <markmc@redhat.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2008-07-08 13:10:26 +02:00
..
2008-05-16 17:22:20 -04:00
2008-06-30 15:06:48 -07:00
2008-05-16 17:22:20 -04:00
2008-06-09 16:49:43 +09:00
2008-06-03 15:21:21 -07:00
2008-05-16 17:22:20 -04:00